Load the codemirror as package in the require.js, which will allow us to

load the codemirror addons without any modification.

web/pgadmin/templates/base.html

@@ -43,6 +43,11 @@
             require.config({
                 baseUrl: '',
                 waitSeconds: 0,
+                packages: [{
+                  name: 'codemirror',
+                  location: '{{ url_for('static', filename='js/codemirror')}}',
+                  main: 'lib/codemirror'
+                }],
                 shim: {
                     "backbone": {
                         "deps": ['underscore', 'jquery'],