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