From bdc3c24967a65edefcbcaa7b3564192555d205d5 Mon Sep 17 00:00:00 2001
From: Gabor Hojtsy <goba@php.net>
Date: Wed, 21 May 2003 08:51:24 +0000
Subject: [PATCH] Doh, $www_static_root was even not global-ed here...

---
 include/shared-manual.inc | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/include/shared-manual.inc b/include/shared-manual.inc
index 10e142a99..bd7544abb 100644
--- a/include/shared-manual.inc
+++ b/include/shared-manual.inc
@@ -66,7 +66,8 @@ 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;
+    global $NEXT, $PREV, $tstamp, $SERVER_NAME, $SERVER_PORT,
+           $PHP_SELF, $LANGUAGES, $REQUEST_URI, $www_static_root;
 
     echo '<table border="0" width="100%" bgcolor="#e0e0e0" cellpadding="0" cellspacing="4">';