[interface] It is now possible to bookmark most pages in JS capable browser.

1 files changed, 6 insertions, 0 deletions

diff --git a/index.php b/index.php
index ef0f8304a8..1361b5fc59 100644
--- a/index.php
+++ b/index.php
@@ -131,6 +131,12 @@ header('Content-Type: text/html; charset=' . $GLOBALS['charset']);
     var pma_text_default_tab = '<?php echo PMA_escapeJsString(PMA_getTitleForTarget($GLOBALS['cfg']['DefaultTabTable'])); ?>';
     var pma_text_left_default_tab = '<?php echo PMA_escapeJsString(PMA_getTitleForTarget($GLOBALS['cfg']['LeftDefaultTabTable'])); ?>';
 
+    // Restore location from hash for bookmarks
+
+    if (parent.location.hash != '') {
+        parent.location = 'index.php?' + parent.location.hash.substring(1);
+    }
+
     // for content and navigation frames
 
     var frame_content = 0;