undefined PHP_SELF

2004-06-15 00:04:17 +00:00
parent 714d15110e
commit 567f7f1815
2 changed files with 3 additions and 1 deletions
--- a/3
+++ b/3
@@ -18,7 +18,8 @@ $Source$
    * themes/index.php: new calling
    My changes:
    * libraries/common.lib.php: proper revision check
-    * libraries/select_theme.lib.php: remove unneeded counter
+    * libraries/select_theme.lib.php: remove unneeded counter, and fix
+      undefined $PHP_SELF

 2004-06-13 Marc Delisle  <lem9@users.sourceforge.net>
    * many files: redesign part 3, thanks to Michael Keck (mkkeck).
--- a/libraries/select_theme.lib.php
+++ b/libraries/select_theme.lib.php
@@ -32,6 +32,7 @@
 * We need some elements of the superglobal $_SERVER array.
 */
 require_once('./libraries/grab_globals.lib.php');
+global $PHP_SELF;
 /**
 * theme manager
 */