From 5bf66662a9bdd62c5bccab15e607cd95cfb8fcab Mon Sep 17 00:00:00 2001 From: Charles Cabergs Date: Mon, 27 Jul 2020 10:05:23 +0200 Subject: Removed wordpress and phpmyadmin, my server doesn't handle it well and it brings shame on my familly --- .../js/codemirror/addon/lint/sql-lint.js | 40 ---------------------- 1 file changed, 40 deletions(-) delete mode 100644 srcs/phpmyadmin/js/codemirror/addon/lint/sql-lint.js (limited to 'srcs/phpmyadmin/js/codemirror') diff --git a/srcs/phpmyadmin/js/codemirror/addon/lint/sql-lint.js b/srcs/phpmyadmin/js/codemirror/addon/lint/sql-lint.js deleted file mode 100644 index 5c90646..0000000 --- a/srcs/phpmyadmin/js/codemirror/addon/lint/sql-lint.js +++ /dev/null @@ -1,40 +0,0 @@ -CodeMirror.sqlLint = function (text, updateLinting, options, cm) { - // Skipping check if text box is empty. - if (text.trim() === '') { - updateLinting(cm, []); - return; - } - - function handleResponse (response) { - var found = []; - for (var idx in response) { - found.push({ - // eslint-disable-next-line new-cap - from: CodeMirror.Pos( - response[idx].fromLine, response[idx].fromColumn - ), - // eslint-disable-next-line new-cap - to: CodeMirror.Pos( - response[idx].toLine, response[idx].toColumn - ), - messageHTML: response[idx].message, - severity : response[idx].severity - }); - } - - updateLinting(cm, found); - } - - $.ajax({ - method: 'POST', - url: 'lint.php', - dataType: 'json', - data: { - 'sql_query': text, - 'server': CommonParams.get('server'), - 'options': options.lintOptions, - 'no_history': true, - }, - success: handleResponse - }); -}; -- cgit