Lines Matching refs:_SERVER

28 $_SERVER['SCRIPT_NAME'] = str_replace('/../', '/', $_SERVER['SCRIPT_NAME']);
31 if (preg_match('/^\/_media\/(.*)/', $_SERVER['SCRIPT_NAME'], $m)) {
34     require $_SERVER['DOCUMENT_ROOT'] . '/lib/exe/fetch.php';
35 } elseif (preg_match('/^\/_detail\/(.*)/', $_SERVER['SCRIPT_NAME'], $m)) {
38     require $_SERVER['DOCUMENT_ROOT'] . '/lib/exe/detail.php';
39 } elseif (preg_match('/^\/_export\/([^\/]+)\/(.*)/', $_SERVER['SCRIPT_NAME'], $m)) {
43     require $_SERVER['DOCUMENT_ROOT'] . '/doku.php';
45     $_SERVER['SCRIPT_NAME'] !== '/index.php' &&
46     file_exists($_SERVER['DOCUMENT_ROOT'] . $_SERVER['SCRIPT_NAME'])
52         preg_match('/\/([._]ht|README$|VERSION$|COPYING$)/', $_SERVER['SCRIPT_NAME']) ||
53         preg_match('/^\/(data|conf|bin|inc)\//', $_SERVER['SCRIPT_NAME'])
59     if (str_ends_with($_SERVER['SCRIPT_NAME'], '.php')) {
61         require $_SERVER['DOCUMENT_ROOT'] . $_SERVER['SCRIPT_NAME'];
69     $request_path = preg_split('/\?/', $_SERVER['REQUEST_URI'], 2)[0];
70     if (isset($_SERVER['PATH_INFO'])) {
71         $_GET['id'] = $_SERVER['PATH_INFO'];
73         $_GET['id'] = $_SERVER['SCRIPT_NAME'];
76     require $_SERVER['DOCUMENT_ROOT'] . '/doku.php';