diff options
author | Michal Čihař <michal@cihar.com> | 2016-06-15 12:38:00 +0300 |
---|---|---|
committer | Michal Čihař <michal@cihar.com> | 2016-06-15 12:38:00 +0300 |
commit | 47f918f3fea9f3328ad3f99541caf9eaf86bb91a (patch) | |
tree | 2f4b07df55c94d044511221197baec5aba653e7c /url.php | |
parent | ef6c66dca1b0cb0a1a482477938cfc859d2baee3 (diff) |
Use standard redirect function
Signed-off-by: Michal Čihař <michal@cihar.com>
Diffstat (limited to 'url.php')
-rw-r--r-- | url.php | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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 |