PHP-Datei bearbeiten.

[Nico]

Ciao!

if ($content = file_get_contents($fileName))

file_put_contents($fileName, str_replace($searchFor, $replaceWith, $content));

  
Stimmt, das ist eleganter!  
Die Arbeit der Verfeinerung wird dann ja Heinz übernehmen. :-) War eh ungetesteter Code von mir.  
  
Écrasez l'Infâme - Nico