fix helpers (coma in title)

This commit is contained in:
Remi Collet 2016-09-16 08:16:25 +02:00
parent a34b2835e1
commit 3daa29d742

View File

@ -8,11 +8,12 @@ $text = file_get_contents($_SERVER['argv'][1]);
if (!$text) { if (!$text) {
die("Can't read {$_SERVER['argv'][1]}\n"); die("Can't read {$_SERVER['argv'][1]}\n");
} }
$debug = (isset($_SERVER['argv'][2]) && $_SERVER['argv'][2]==-'d');
$text = explode("\n", $text); $text = explode("\n", $text);
$in=false; $in=false;
foreach ($text as $line) { foreach ($text as $line) {
if (preg_match('/(^[0-9][0-9] ... 20[0-9][0-9]) PHP (.*)$/', $line, $reg)) { if (preg_match('/(^[0-9][0-9] ... 20[0-9][0-9])[,]* PHP (.*)$/', $line, $reg)) {
if ($in) { if ($in) {
break; break;
} }
@ -20,6 +21,7 @@ foreach ($text as $line) {
$in = true; $in = true;
continue; continue;
} else if (!$in) { } else if (!$in) {
if ($debug) echo "+ Ignore $line\n";
continue; continue;
} }
$line = preg_replace('/(#[0-9])+/', 'php\1', $line); $line = preg_replace('/(#[0-9])+/', 'php\1', $line);