Home
last modified time | relevance | path

Searched refs:shortcuts (Results 1 – 2 of 2) sorted by relevance

/web-php/
H A Dindex.php5 $shortcuts = [ variable
10 if (isset($shortcuts[$uri])) {
11 header("Location: {$shortcuts[$uri]}");
/web-php/include/
H A Dmanual-lookup.inc101 // page shortcuts, so we avoid stat() calls on the server

Completed in 4 milliseconds