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

- Make it global too :)

Browse Source
This commit is contained in:
Derick Rethans
2003-06-02 09:49:46 +00:00
parent 40849db79b
commit 8a3dc36b34
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
include/shared-manual.inc
View File

@@ -67,7 +67,7 @@ function makeBorderTOC($this) {
// Print out manual navigation bar
function navigationBar($title,$id,$loc) {
global $NEXT, $PREV, $tstamp, $SERVER_NAME, $SERVER_PORT,
$PHP_SELF, $LANGUAGES, $REQUEST_URI, $www_static_root;
$PHP_SELF, $LANGUAGES, $INACTIVE_ONLINE_LANGUAGES, $REQUEST_URI, $www_static_root;
echo '<table border="0" width="100%" bgcolor="#e0e0e0" cellpadding="0" cellspacing="4">';