Server IP : 15.235.198.142 / Your IP : 216.73.216.190 Web Server : Apache/2.4.58 (Ubuntu) System : Linux ballsack 6.8.0-45-generic #45-Ubuntu SMP PREEMPT_DYNAMIC Fri Aug 30 12:02:04 UTC 2024 x86_64 User : www-data ( 33) PHP Version : 8.3.6 Disable Function : NONE MySQL : OFF | cURL : ON | WGET : ON | Perl : ON | Python : OFF | Sudo : ON | Pkexec : OFF Directory : /usr/share/phpmyadmin/js/src/codemirror/addon/lint/ |
Upload File : |
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, }, success: handleResponse }); };