Description:
------------
PHP 4.3.1 running on a web-host with NT!

Note: YES - i have tried to search for this bug !

A php-script to replace (change) varnames in other php-scripts. Quite simple - but it only works on smaller files i.e. substr_replace apparently does not work on a string of about 10k. Bug is: nothing is replaced by substr_replace but
returned unchanged !

short code ex:

$x = file_get_contents($fn);    // read source into string
$x = strtolower($x);          // make lowercase for search  
$p = strpos($x, $oldvarname);   // find varname
$x = substr_replace($x, $newvarname, $p, strlen($oldname));
...save the string to a file with changed varnames

as said - it works on smaller files/strings (2k) but not if the file/string is - say - 10k.