From ad1bc257e4f3d71925c53d7338fec5a7ce05efb9 Mon Sep 17 00:00:00 2001 From: Madhura Jayaratne Date: Sat, 28 Jul 2012 17:29:52 +0530 Subject: [PATCH] bug #3548491 [interface] Inline query editor doesn't work from search results --- ChangeLog | 1 + tbl_select.php | 2 ++ 2 files changed, 3 insertions(+) diff --git a/ChangeLog b/ChangeLog index d68b0a55eb..b5980c89a6 100644 --- a/ChangeLog +++ b/ChangeLog @@ -8,6 +8,7 @@ phpMyAdmin - ChangeLog - bug #3526916 [interface] Search fails with JS error when tooltips disabled - bug #3544366 [interface] Event comments not saved - bug #3549084 [edit] Can't enter date directly when editing inline +- bug #3548491 [interface] Inline query editor doesn't work from search results 3.5.2.0 (2012-07-07) - bug #3521416 [interface] JS error when editing index diff --git a/tbl_select.php b/tbl_select.php index c888291441..81ca73403a 100644 --- a/tbl_select.php +++ b/tbl_select.php @@ -24,6 +24,8 @@ $GLOBALS['js_include'][] = 'tbl_change.js'; $GLOBALS['js_include'][] = 'jquery/jquery-ui-1.8.16.custom.js'; $GLOBALS['js_include'][] = 'jquery/timepicker.js'; $GLOBALS['js_include'][] = 'gis_data_editor.js'; +$GLOBALS['js_include'][] = 'codemirror/lib/codemirror.js'; +$GLOBALS['js_include'][] = 'codemirror/mode/mysql/mysql.js'; $titles['Browse'] = PMA_getIcon('b_browse.png', __('Browse foreign values'));