Reenable bookmarking code.

Just disable it for webkit based browsers, because they do not allow to
update any part of location without reload.

bug#2937481
This commit is contained in:
Michal Čihař
2010-01-25 11:50:48 +00:00
parent df1671d1c4
commit ecc4913a8c
5 changed files with 74 additions and 17 deletions

View File

@@ -546,6 +546,7 @@ $_REQUEST['js_frame'] = PMA_ifSetOr($_REQUEST['js_frame'], '');
*/
$GLOBALS['js_include'] = array();
$GLOBALS['js_include'][] = 'mootools.js';
$GLOBALS['js_include'][] = 'helper.js';
/**
* holds locale messages required by JavaScript function