последовательная нумерация notpead++

PHP > 5.3

$string = "Test: mashina, mashina, mashina end";

$index = 0;
$newstring = preg_replace_callback(
    '@mashina@',
    function($match) use (&$index) {
		$index++;
		return ($match[0] . $index); 
		
	},
    $string
    );
echo $newstring;

$string = "Test: mashina, mashina, mashina end";

$index = 0;
$newstring = preg_replace_callback(
    '@mashina@',
    function($match) use (&$index) {
		$index++;
		return ($match[0] . $index); 
		
	},
    $string
    );
echo $newstring;

В ssh ввёл команду: php done.php (в done.php - код, вывело, но это ведь никак не приспособишь)

Дело в том, что все изменения нужно сделать в файлайх.html

Нужно как-то в поле внести название файла в котором будет замена (zamena.html к примеру). Далее уже к слову mashina там должны быть дозаписаны цифры.

file_get_contents

file_put_contents

Спасибо.

Cкажи пожалуйста куда эти строчки вставить.

Вместо первой строки

$string = file_get_contents('main.html');

Вместо последней строки

file_put_contents('newmain.html', $newstring);

Отлично. Огромное спасибо! :)