1 files changed, 0 insertions, 40 deletions
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
-    });
-};