diff options
| author | Madhura Jayaratne <madhura.cj@gmail.com> | 2012-07-28 15:59:52 +0400 |
|---|---|---|
| committer | Madhura Jayaratne <madhura.cj@gmail.com> | 2012-07-28 15:59:52 +0400 |
| commit | ad1bc257e4f3d71925c53d7338fec5a7ce05efb9 (patch) | |
| tree | 99b99d6718a6c7ad816755c335ced43d9ba15734 /tbl_select.php | |
| parent | a143b74067d215f51b11c321038028f91dd3ab1f (diff) | |
bug #3548491 [interface] Inline query editor doesn't work from search results
Diffstat (limited to 'tbl_select.php')
| -rw-r--r-- | tbl_select.php | 2 |
1 files changed, 2 insertions, 0 deletions
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')); |