init web ems all

phpMyAdmin/js/codemirror/addon/lint/sql-lint.js

@@ -0,0 +1,38 @@
+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({
+                from: CodeMirror.Pos(
+                    response[idx].fromLine, response[idx].fromColumn
+                ),
+                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: PMA_commonParams.get('server'),
+            options: options.lintOptions,
+            no_history: true,
+        },
+        success: handleResponse
+    });
+};