Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/phpmyadmin/phpmyadmin.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMadhura Jayaratne <madhura.cj@gmail.com>2014-02-08 11:06:08 +0400
committerMadhura Jayaratne <madhura.cj@gmail.com>2014-02-08 11:06:08 +0400
commit09dec45ffab059f133063b64b2c72c2a5a76d429 (patch)
treeabaae471dc9fdf5f73b3b304be8d0800132a9981 /url.php
parent6d0f976fd29039afcdfc7a7ad20fdc55d7edfe6e (diff)
Remove commented debugging code. Replace tabs with spaces
Signed-off-by: Madhura Jayaratne <madhura.cj@gmail.com>
Diffstat (limited to 'url.php')
-rw-r--r--url.php14
1 files changed, 6 insertions, 8 deletions
diff --git a/url.php b/url.php
index 0e721cd817..764b81cb73 100644
--- a/url.php
+++ b/url.php
@@ -17,19 +17,17 @@ if (! PMA_isValid($_GET['url'])
) {
header('Location: ' . $cfg['PmaAbsoluteUri']);
} else {
- // header('Location: ' . $_GET['url']);
-
// domain whitelist check
if (PMA_isAllowedDomain($_GET['url'])) {
// JavaScript redirection is necessary. Because if header() is used
- // then web browser sometimes does not change the HTTP_REFERER
- // field and so with old URL as Referer, token also goes to
+ // then web browser sometimes does not change the HTTP_REFERER
+ // field and so with old URL as Referer, token also goes to
// external site.
echo "<script type='text/javascript'>
- window.onload=function(){
- window.location='" . $_GET['url'] . "';
- }
- </script>";
+ window.onload=function(){
+ window.location='" . $_GET['url'] . "';
+ }
+ </script>";
// Display redirecting msg on screen.
echo __('Taking you to ') . ($_GET['url']);
} else {