Searched refs:shortcuts (Results 1 – 2 of 2) sorted by relevance
5 $shortcuts = [ variable10 if (isset($shortcuts[$uri])) {11 header("Location: {$shortcuts[$uri]}");
101 // page shortcuts, so we avoid stat() calls on the server
Completed in 5 milliseconds