Lines Matching full:php

1 <?php
13         $_SERVER['SCRIPT_FILENAME'] = '/doku.php';
14         $_SERVER['REQUEST_URI'] = '/doku.php?id=0&do=edit';
32         $_SERVER['SCRIPT_FILENAME'] = '/lib/exe/fetch.php';
33 …      $_SERVER['REQUEST_URI'] = '/lib/exe/fetch.php/myhdl-0.5dev1.tar.gz?id=snapshots&cache=cache';
50         $_SERVER['SCRIPT_FILENAME'] = '/var/www/dokuwiki/lib/exe/detail.php';
51         $_SERVER['PHP_SELF'] = '/dokuwiki/lib/exe/detail.php/wiki/discussion/button-dw.png';
52 …$_SERVER['REQUEST_URI'] = '/dokuwiki/lib/exe/detail.php/wiki/discussion/button-dw.png?id=test&debu…
53         $_SERVER['SCRIPT_NAME'] = '/dokuwiki/lib/exe/detail.php';
70         $_SERVER['SCRIPT_FILENAME'] = '/usr/share/dokuwiki/doku.php';
71         $_SERVER['SCRIPT_NAME'] = '/dokuwiki/doku.php';
72         $_SERVER['REQUEST_URI'] = '/dokuwiki/doku.php/wiki:dokuwiki';
75         $_SERVER['PHP_SELF'] = '/dokuwiki/doku.php/wiki:dokuwiki';
91         $_SERVER['SCRIPT_FILENAME'] = '/var/www/vhosts/example.com/htdocs/doku.php';
92         $_SERVER['SCRIPT_NAME'] = '/doku.php';
93         $_SERVER['REQUEST_URI'] = '/doku.php/wiki/dokuwiki';
95         $_SERVER['PATH_TRANSLATED'] = '/var/www/vhosts/example.com/htdocs/doku.php';
96         $_SERVER['PHP_SELF'] = '/doku.php/wiki/dokuwiki';
110         $_SERVER['SCRIPT_FILENAME'] = '/var/www/dokuwiki/doku.php';
111         $_SERVER['SCRIPT_NAME'] = '/dokuwiki/doku.php';
112         $_SERVER['REQUEST_URI'] = '/dokuwiki/doku.php/?do=debug';
115         $_SERVER['PHP_SELF'] = '/dokuwiki/doku.php/';