Home
last modified time | relevance | path

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

/web-php/
H A Derror.php280 $manual_redirections = [ variable
326 if (preg_match("!^manual/([^/]+)/([^/]+?)(?:\.php)?$!", $URI, $match) && isset($manual_redirections
328 mirror_redirect("/manual/$match[1]/" . $manual_redirections[$match[2]]);

Completed in 5 milliseconds