diff options
| -rw-r--r-- | index.php | 6 |
1 files changed, 5 insertions, 1 deletions
@@ -5,7 +5,11 @@ $page = strtok(strtok($_SERVER['REQUEST_URI'], '/'), '?'); if (empty($page)) { include('./pages/index.php'); } else if (!empty($page) && $page[0] >= '0' && $page[0] <= '9' && is_readable("./posts/$page.php")) { - include("./posts/$page.php"); + $script = file_get_contents("./posts/$page.php"); + $re = '/<code>([^\(<>\)]*)\(([0-9])\)<\/code>/m'; + $subst = '<a target="_blank" href="https://www.freebsd.org/cgi/man.cgi?query=$1&sektion=$2&format=ascii">$1($2)</a>'; + $script = preg_replace($re, $subst, $script); + eval("?>$script<?php"); } else if (!empty($page) && is_readable("./pages/$page.php")) { include("./pages/$page.php"); } else { |