static function redirect($URL) { if (\ManiaLib\Application\Filters\UserAgentCheck::isManiaplanet()) { \ManiaLib\Gui\Manialink::redirect($URL); } else { header('Location: ' . $URL); } exit; }