4 chdir(dirname(__FILE__));
5 require_once
'common.php';
13 chdir(dirname(__FILE__) .
'/..');
27 $file ==
'./library/HTMLPurifier/Lexer/PH5P.php' ||
28 $file ==
'./maintenance/PH5P.php' 31 $result = preg_replace(
'/^(.*?)[ \t]+(\r?)$/m',
'\1\2',
$contents, -1, $count);
32 if (!$count)
continue;
34 file_put_contents($file,
$result);
postfix_is($comp, $subject)
prefix_is($comp, $subject)
if(!file_exists("$old.txt")) if($old===$new) if(file_exists("$new.txt")) $file