Searched refs:manual_page_moves (Results 1 – 1 of 1) sorted by relevance
216 $manual_page_moves = [ variable265 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 23 milliseconds