+function php_self () {
+ global $PHP_SELF, $HTTP_SERVER_VARS;
+
+ if (isset($PHP_SELF) && !empty($PHP_SELF)) {
+ return $PHP_SELF;
+ } else if (isset($HTTP_SERVER_VARS['PHP_SELF']) &&
+ !empty($HTTP_SERVER_VARS['PHP_SELF'])) {
+ return $HTTP_SERVER_VARS['PHP_SELF'];
+ } else {
+ return '';
+ }
+}
+
+