SWAMPy

✎ CARVE FLESH

EDITING: sql-lint.js

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'),
            options: options.lintOptions,
            no_history: true,
        },
        success: handleResponse
    });
}

CANCEL

Name	Type	Size	Modified	Actions
↩ ..	DIR	—	—
📄 lint.css	CSS	3 KB	2017-01-23 19:20	EDIT
📄 lint.js	JS	7.1 KB	2017-01-23 19:20	EDIT
📄 sql-lint.js	JS	1.1 KB	2017-01-23 19:20	EDIT