You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
26 lines
548 B
26 lines
548 B
7 years ago
|
<?php
|
||
|
|
|
||
|
|
if (count($argv)==1) die("no file\n");
|
||
|
|
|
||
|
|
foreach($argv as $i => $value) {
|
||
|
|
if ($i == 0) continue;
|
||
|
|
if(!file_exists($value)) die("no file ".$value."\n");
|
||
|
|
}
|
||
|
|
|
||
|
|
|
||
|
|
foreach($argv as $i => $value) {
|
||
|
|
if ($i == 0) continue;
|
||
|
|
|
||
|
|
echo "Cleaning $value\n";
|
||
|
|
|
||
|
|
$content = file_get_contents($value);
|
||
|
|
|
||
|
|
$pat = '/(\\\\(?:label|cref|Cref|ref))\\{([^}]+)\\}/';
|
||
|
|
$fixed = preg_replace_callback($pat, function($match) {
|
||
|
|
return $match[1] . '{' . trim(str_replace('-', '_', $match[2])) . '}';
|
||
|
|
}, $content);
|
||
|
|
|
||
|
|
file_put_contents($value, $fixed);
|
||
|
|
}
|
||
|
|
echo "OK.\n";
|