diff --git a/libraries/core.lib.php b/libraries/core.lib.php index f5d92bd361..57e758a302 100644 --- a/libraries/core.lib.php +++ b/libraries/core.lib.php @@ -552,7 +552,7 @@ function PMA_sendHeaderLocation($uri, $use_refresh = false) echo '
' . "\n"; echo '