} else { # no dest arg
$basename = $_SERVER['REDIRECT_URL'];
+ $basename = preg_replace('|[?].*|', '', $basename); # apache 2.4.17
$basename = preg_replace('|.*/|', '', $basename);
$basename = preg_replace('|\.html?$|', '', $basename);
if($basename == '') {