diff options
| author | Charles Cabergs <me@cacharle.xyz> | 2020-07-27 10:05:23 +0200 |
|---|---|---|
| committer | Charles Cabergs <me@cacharle.xyz> | 2020-07-27 10:05:23 +0200 |
| commit | 5bf66662a9bdd62c5bccab15e607cd95cfb8fcab (patch) | |
| tree | 39a1a4629749056191c05dfd899f931701b7acf3 /srcs/phpmyadmin/js/codemirror/addon/lint/sql-lint.js | |
| parent | 5afd237bbd22028b85532b8c0b3fcead49a00764 (diff) | |
| download | ft_server-master.tar.gz ft_server-master.tar.bz2 ft_server-master.zip | |
Removed wordpress and phpmyadmin, my server doesn't handle it well and it brings shame on my famillyHEADmaster
Diffstat (limited to 'srcs/phpmyadmin/js/codemirror/addon/lint/sql-lint.js')
| -rw-r--r-- | srcs/phpmyadmin/js/codemirror/addon/lint/sql-lint.js | 40 |
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 - }); -}; |
