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:
authorMarc Delisle <marc@infomarc.info>2014-02-07 21:49:57 +0400
committerMarc Delisle <marc@infomarc.info>2014-02-07 21:49:57 +0400
commit5c5673f4cfb93be704b9a20cb306e4626b647676 (patch)
tree7d9f6c7a634236fae4789e36bf11238fefcb0ab8 /url.php
parent0034680de87bd94b23356c25a6a64e674daff7b4 (diff)
Fix coding style; add localization
Signed-off-by: Marc Delisle <marc@infomarc.info>
Diffstat (limited to 'url.php')
-rw-r--r--url.php18
1 files changed, 10 insertions, 8 deletions
diff --git a/url.php b/url.php
index b163bdb316..0e721cd817 100644
--- a/url.php
+++ b/url.php
@@ -21,17 +21,19 @@ if (! PMA_isValid($_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 external site.
- echo "<script type='text/javascript'>
+ // 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
+ // external site.
+ echo "<script type='text/javascript'>
window.onload=function(){
- window.location='".$_GET['url']."';
+ window.location='" . $_GET['url'] . "';
}
</script>";
- echo 'Taking you to '.($_GET['url']); // Display redirecting msg on screen.
- }
- else
- {
- header('Location: ' . $cfg['PmaAbsoluteUri']);
+ // Display redirecting msg on screen.
+ echo __('Taking you to ') . ($_GET['url']);
+ } else {
+ header('Location: ' . $cfg['PmaAbsoluteUri']);
}
}
die();