37 lines
798 B
PHP
Executable File
37 lines
798 B
PHP
Executable File
#!/usr/bin/env php
|
|
<?php
|
|
if ($_SERVER['argc'] < 2) {
|
|
die("Usage {$_SERVER['argv'][0]} /path/to/NEWS\n");
|
|
}
|
|
|
|
$text = file_get_contents($_SERVER['argv'][1]);
|
|
if (!$text) {
|
|
die("Can't read {$_SERVER['argv'][1]}\n");
|
|
}
|
|
|
|
$text = explode("\n", $text);
|
|
$in=false;
|
|
foreach ($text as $line) {
|
|
if (preg_match('/(^[0-9][0-9] ... 20[0-9][0-9]) PHP (.*)$/', $line, $reg)) {
|
|
if ($in) {
|
|
break;
|
|
}
|
|
printf("%s **PHP version %s**", $reg[1], $reg[2]);
|
|
$in = true;
|
|
continue;
|
|
} else if (!$in) {
|
|
continue;
|
|
}
|
|
$line = preg_replace('/(#[0-9])+/', 'php\1', $line);
|
|
if (empty($line)) {
|
|
echo "\n\n";
|
|
} else if (substr($line, 0, 2) == '- ') {
|
|
echo "**" . substr($line, 2) . "**\n";
|
|
} else if (substr($line, 0, 4) == ' . ') {
|
|
echo "\n* " . substr($line, 4);
|
|
} else {
|
|
echo " ".trim($line);
|
|
}
|
|
}
|
|
|