From 567f7f1815738dbe08f3b4026dcbe5487994fd16 Mon Sep 17 00:00:00 2001
From: Marc Delisle <marc@infomarc.info>
Date: Tue, 15 Jun 2004 00:04:17 +0000
Subject: [PATCH] undefined PHP_SELF

---
 ChangeLog                      | 3 ++-
 libraries/select_theme.lib.php | 1 +
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/ChangeLog b/ChangeLog
index f8db32ded..3772e188c 100755
--- a/ChangeLog
+++ b/ChangeLog
@@ -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).
diff --git a/libraries/select_theme.lib.php b/libraries/select_theme.lib.php
index 7e0a47c81..3a3c9782a 100644
--- 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
  */