diff options
Diffstat (limited to 'js/src/codemirror/addon/lint/sql-lint.js')
| -rw-r--r-- | js/src/codemirror/addon/lint/sql-lint.js | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/js/src/codemirror/addon/lint/sql-lint.js b/js/src/codemirror/addon/lint/sql-lint.js index 9ac73840e9..7c506c240f 100644 --- a/js/src/codemirror/addon/lint/sql-lint.js +++ b/js/src/codemirror/addon/lint/sql-lint.js @@ -1,3 +1,5 @@ +import $ from 'jquery'; + window.CodeMirror.sqlLint = function (text, updateLinting, options, cm) { // Skipping check if text box is empty. if (text.trim() === '') { |