file, $short); $filename = htmlspecialchars($short[1]); $target = conf('web_path').'/admin/flags.php'; ?>