includes/paths.php
changeset 362 02d315d1cc58
parent 351 8978cb3541ca
child 372 5bd429428101
equal deleted inserted replaced
360:fad9bb5c094b 362:02d315d1cc58
   480         $loc = str_replace('+', '_', $loc);
   480         $loc = str_replace('+', '_', $loc);
   481         header('Location: '.$loc);
   481         header('Location: '.$loc);
   482         exit;
   482         exit;
   483       }
   483       }
   484       $ret = $_GET['title'];
   484       $ret = $_GET['title'];
       
   485       if ( substr($ret, 0, strlen($this->nslist['Special'])) === $this->nslist['Special'] ||
       
   486            substr($ret, 0, strlen($this->nslist['Admin'])) === $this->nslist['Admin'] )
       
   487       {
       
   488         list($ret) = explode('/', $ret);
       
   489       }
   485     }
   490     }
   486     elseif(isset($_SERVER['PATH_INFO']))
   491     elseif(isset($_SERVER['PATH_INFO']))
   487     {
   492     {
   488       $pi = explode('/', $_SERVER['PATH_INFO']);
   493       $pi = explode('/', $_SERVER['PATH_INFO']);
   489       
   494