Use standard redirect function

Signed-off-by: Michal Čihař <michal@cihar.com>

1 files changed, 1 insertions, 1 deletions

diff --git a/url.php b/url.php
index c59bd25878..c12ceb9211 100644
--- a/url.php
+++ b/url.php
@@ -20,7 +20,7 @@ if (! PMA_isValid($_REQUEST['url'])
     || ! preg_match('/^https?:\/\/[^\n\r]*$/', $_REQUEST['url'])
     || ! PMA_isAllowedDomain($_REQUEST['url'])
 ) {
-    header('Location: ./');
+    PMA_sendHeaderLocation('./');
 } else {
     // JavaScript redirection is necessary. Because if header() is used
     //  then web browser sometimes does not change the HTTP_REFERER