htmlspecialchars_decode();
$referer = (string)@$_SERVER["HTTP_REFERER"]; $referer = preg_replace("~[\r\n]+~", "", $referer); header("Location: {$referer}");
<?PHP $x = 'y'; $y = 'ololololol'; echo $$x; ?>