| 1234567891011121314151617181920212223242526272829303132333435363738 |
- 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
- ),
- message: response[idx].message,
- severity : response[idx].severity
- });
- }
- updateLinting(cm, found);
- }
- $.ajax({
- method: "POST",
- url: "lint.php",
- dataType: 'json',
- data: {
- sql_query: text,
- token: PMA_commonParams.get('token'),
- server: PMA_commonParams.get('server')
- },
- success: handleResponse
- });
- }
|