/e','chr("\1")',$text); if ($newtext !== $text) { if (false === file_put_contents($filename,$newtext)) {fprintf(STDERR,"Can't load file $filename.\n");continue;} $ok = true; echo "File $filename converted.\n"; } else { echo "File $filename did not need updating.\n"; } } exit(!$ok);