Server IP : 209.38.156.173 / Your IP : 216.73.216.122 [ Web Server : Apache/2.4.52 (Ubuntu) System : Linux lakekumayuhotel 5.15.0-136-generic #147-Ubuntu SMP Sat Mar 15 15:53:30 UTC 2025 x86_64 User : root ( 0) PHP Version : 8.1.2-1ubuntu2.22 Disable Function : NONE Domains : 2 Domains MySQL : OFF | cURL : ON | WGET : ON | Perl : ON | Python : OFF | Sudo : ON | Pkexec : ON Directory : /usr/share/phpmyadmin.bak/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 }); };