php/archived-web-php
1
0
Fork 0
mirror of https://github.com/php/web-php.git synced 2026-04-29 18:03:19 +02:00
Code Issues Packages Projects Releases Wiki Activity

Fix navigation highlighting

Browse Source
This commit is contained in:
Hannes Magnusson
2010-12-26 12:23:33 +00:00
parent 8c1486c6f6
commit eb7495c458
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
include/shared-manual.inc
+1 -1
View File
@@ -4,7 +4,7 @@ function manual_setup($setup) {
function manual_header() {
$_SERVER['BASE_PAGE'] = "manual/en/function.strpos.php";
site_header("Manual page");
site_header("Manual page", array("current" => "docs"));
}
function manual_footer() {
site_footer();