page: replace links to current page in menu include

[minimedit.git] / head.inc.php

diff --git a/head.inc.php b/head.inc.php
index 2e57f81f7a78ca0c353c6f9102014e717bb49a7f..2522ad737ab2ff8794efc2f222476853a3ed9451 100644 (file)
--- a/head.inc.php
+++ b/head.inc.php
@@ -1,7 +1,18 @@
 <?php
 include_once 'head.inc.html';
 
+print "<header>\n";
+
+ob_start();
 include 'menu.html';
+$nav = ob_get_clean();
+$nav = preg_replace_callback('{<a href="([^"]+)">(.*?)</a>}', function ($m) {
+       $request = $_SERVER['REQUEST_URI'];
+       $html = $request == $m[1] ? $m[2] : $m[0]; # text or full link
+       return $m[1] == substr($request, 0, strlen($m[1])) ? "<b>$html</b>" : $html;
+}, $nav);
+print $nav;
+print "</header>\n\n";
 
 print '<div class="article">'."\n\n";