1<?php 2 3include_once __DIR__ . '/../include/prepend.inc'; 4 5$page = isset($_GET['page']) ? htmlspecialchars($_GET['page'], ENT_QUOTES, 'UTF-8') : ''; 6$page = strtr($page, ["\r" => "", "\n" => ""]); 7 8// Redirect to new manual page 9mirror_redirect("/manual/" . $page); 10