diff options
author | Michal Čihař <michal@cihar.com> | 2010-01-22 22:15:47 +0300 |
---|---|---|
committer | Michal Čihař <michal@cihar.com> | 2010-01-22 22:15:47 +0300 |
commit | ddbffcd5bd16ad38dd31e640379e205e772552ab (patch) | |
tree | f39d6b428f21e715010493fd5cb350dd35b38ffe /index.php | |
parent | fd2a41eb8b6439e073d70b20d986973e98745f5a (diff) |
[interface] It is now possible to bookmark most pages in JS capable browser.
Diffstat (limited to 'index.php')
-rw-r--r-- | index.php | 6 |
1 files changed, 6 insertions, 0 deletions
@@ -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; |