aboutsummaryrefslogtreecommitdiff
path: root/srcs/phpmyadmin/js/codemirror/addon/lint
diff options
context:
space:
mode:
authorCharles Cabergs <me@cacharle.xyz>2020-07-27 10:05:23 +0200
committerCharles Cabergs <me@cacharle.xyz>2020-07-27 10:05:23 +0200
commit5bf66662a9bdd62c5bccab15e607cd95cfb8fcab (patch)
tree39a1a4629749056191c05dfd899f931701b7acf3 /srcs/phpmyadmin/js/codemirror/addon/lint
parent5afd237bbd22028b85532b8c0b3fcead49a00764 (diff)
downloadft_server-5bf66662a9bdd62c5bccab15e607cd95cfb8fcab.tar.gz
ft_server-5bf66662a9bdd62c5bccab15e607cd95cfb8fcab.tar.bz2
ft_server-5bf66662a9bdd62c5bccab15e607cd95cfb8fcab.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')
-rw-r--r--srcs/phpmyadmin/js/codemirror/addon/lint/sql-lint.js40
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
- });
-};