Home
last modified time | relevance | path

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

/web-php/
H A Derror.php214 $manual_page_moves = [ variable
254 if (isset($manual_page_moves[$URI])) {
256 mirror_redirect("/" . $manual_page_moves[$URI]);
258 isset($manual_page_moves[$match[2]])) {
260 mirror_redirect("/manual/$match[1]/" . $manual_page_moves[$match[2]] . ".php");

Completed in 15 milliseconds