pgAdmin 4 commit: Updated the CodeMirror to the latest stable version (

Updated the CodeMirror to the latest stable version (5.14.2).

It has now the 'sql/x-pgsql' mode, which will make the queries more
familiar, and lot more improved addons.

Branch
------
master

Details
-------
http://git.postgresql.org/gitweb?p=pgadmin4.git;a=commitdiff;h=a5aa6d159a0e57b1ab725bbe74ce98518fa30541

Modified Files
--------------
libraries.txt | 2 +-
.../browser/templates/browser/js/browser.js | 4 +-
web/pgadmin/static/css/codemirror/codemirror.css | 109 +-
web/pgadmin/static/js/backform.pgadmin.js | 4 +-
.../static/js/codemirror/addon/comment/comment.js | 38 +-
.../static/js/codemirror/addon/dialog/dialog.css | 4 +-
.../static/js/codemirror/addon/dialog/dialog.js | 8 +-
.../js/codemirror/addon/display/autorefresh.js | 47 +
.../static/js/codemirror/addon/display/panel.js | 26 +-
.../js/codemirror/addon/display/placeholder.js | 6 +-
.../static/js/codemirror/addon/display/rulers.js | 3 +-
.../js/codemirror/addon/edit/closebrackets.js | 274 ++-
.../static/js/codemirror/addon/edit/closetag.js | 11 +-
.../js/codemirror/addon/edit/continuelist.js | 18 +-
.../js/codemirror/addon/edit/matchbrackets.js | 2 +-
.../js/codemirror/addon/fold/comment-fold.js | 4 +-
.../static/js/codemirror/addon/fold/foldgutter.js | 26 +-
.../js/codemirror/addon/hint/anyword-hint.js | 2 +-
.../static/js/codemirror/addon/hint/css-hint.js | 4 +
.../static/js/codemirror/addon/hint/show-hint.js | 235 +-
.../static/js/codemirror/addon/hint/sql-hint.js | 206 +-
.../static/js/codemirror/addon/lint/html-lint.js | 46 +
.../js/codemirror/addon/lint/javascript-lint.js | 2 +-
.../static/js/codemirror/addon/lint/lint.js | 59 +-
.../static/js/codemirror/addon/merge/merge.css | 1 +
.../static/js/codemirror/addon/merge/merge.js | 378 ++--
.../static/js/codemirror/addon/mode/multiplex.js | 29 +-
.../js/codemirror/addon/mode/multiplex_test.js | 2 +-
.../static/js/codemirror/addon/mode/simple.js | 2 +-
.../static/js/codemirror/addon/runmode/runmode.js | 2 +-
.../js/codemirror/addon/runmode/runmode.node.js | 81 +-
.../codemirror/addon/scroll/annotatescrollbar.js | 76 +-
.../js/codemirror/addon/scroll/simplescrollbars.js | 28 +-
.../js/codemirror/addon/search/jump-to-line.js | 49 +
.../codemirror/addon/search/match-highlighter.js | 82 +-
.../codemirror/addon/search/matchesonscrollbar.js | 17 +-
.../static/js/codemirror/addon/search/search.js | 133 +-
.../js/codemirror/addon/search/searchcursor.js | 8 +-
.../js/codemirror/addon/selection/active-line.js | 3 +
.../addon/selection/selection-pointer.js | 3 +
.../static/js/codemirror/addon/tern/tern.css | 1 +
.../static/js/codemirror/addon/tern/tern.js | 59 +-
.../static/js/codemirror/addon/tern/worker.js | 2 +-
.../static/js/codemirror/addon/wrap/hardwrap.js | 15 +-
web/pgadmin/static/js/codemirror/lib/codemirror.js | 2307 ++++++++++++++------
web/pgadmin/static/js/codemirror/mode/sql.js | 391 ----
web/pgadmin/static/js/codemirror/mode/sql/sql.js | 413 ++++
.../datagrid/templates/datagrid/js/datagrid.js | 4 +-
.../tools/debugger/templates/debugger/js/direct.js | 2 +-
.../sqleditor/templates/sqleditor/js/sqleditor.js | 4 +-
50 files changed, 3457 insertions(+), 1775 deletions(-)