Fix #12455: Query history stores separate entry for every letter typed

Don't store history when linting, rather store it only when user has submitted the query.

Signed-off-by: Deven Bansod <devenbansod.bits@gmail.com>

js/codemirror/addon/lint/sql-lint.js

@@ -33,6 +33,7 @@ CodeMirror.sqlLint = function(text, updateLinting, options, cm) {
             token: PMA_commonParams.get('token'),
             server: PMA_commonParams.get('server'),
             options: options.lintOptions,
+            no_history: true,
         },
         success: handleResponse
     });