Searched refs:manual_redirections (Results 1 – 1 of 1) sorted by relevance
263 $manual_redirections = [ variable309 if (preg_match("!^manual/([^/]+)/([^/]+?)(?:\.php)?$!", $URI, $match) && isset($manual_redirections…311 mirror_redirect("/manual/$match[1]/" . $manual_redirections[$match[2]]);
Completed in 5 milliseconds
