Dodanie właściwej konfiguracji dockera

This commit is contained in:
floriano committed 2026-09-26 20:56:57 +02:00
1 parent 6a225cb60c
commit d3fb703ed6
4364 files changed
+828806 -10

No files matched your search

+34
View File
@@ -0,0 +1,34 @@
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: 'index.php?route=/lint',
dataType: 'json',
data: {
'sql_query': text,
'server': CommonParams.get('server'),
'options': options.lintOptions,
'no_history': true,
'ajax_request': true
},
success: handleResponse
});
};