Home
last modified time | relevance | path

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

/web-php/
H A Derror.php216 $manual_page_moves = [ variable
265 if (isset($manual_page_moves[$URI])) {
267 mirror_redirect("/" . $manual_page_moves[$URI]);
269 isset($manual_page_moves[$match[2]])) {
272 $parts = explode('#', $manual_page_moves[$match[2]], 2);

Completed in 5 milliseconds