From 04d6d5ca99ebfd1cebb8ce06618fb3811fc1a8aa Mon Sep 17 00:00:00 2001
From: Charles <sircharlesaze@gmail.com>
Date: Thu, 9 Jan 2020 10:55:03 +0100
Subject: phpmyadmin working

---
 .../js/codemirror/addon/lint/sql-lint.js           | 40 ++++++++++++++++++++++
 1 file changed, 40 insertions(+)
 create mode 100644 srcs/phpmyadmin/js/codemirror/addon/lint/sql-lint.js

(limited to 'srcs/phpmyadmin/js/codemirror/addon/lint')

diff --git a/srcs/phpmyadmin/js/codemirror/addon/lint/sql-lint.js b/srcs/phpmyadmin/js/codemirror/addon/lint/sql-lint.js
new file mode 100644
index 0000000..5c90646
--- /dev/null
+++ b/srcs/phpmyadmin/js/codemirror/addon/lint/sql-lint.js
@@ -0,0 +1,40 @@
+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