Cookies help us deliver our services. By using our services, you agree to our use of cookies. More information

Difference between revisions of "MediaWiki:Common.js"

From NoSQLZoo
Jump to: navigation, search
m (Version update)
Line 14: Line 14:
 
     //CodeMirror.
 
     //CodeMirror.
 
     var cmVersion = "codemirror-5.49.2/";
 
     var cmVersion = "codemirror-5.49.2/";
 +
    var CodeMirrorConfig = { expr: 1 };
 
     linkScript(
 
     linkScript(
 
         "jshint-2.10.2-min",
 
         "jshint-2.10.2-min",

Revision as of 10:50, 25 October 2020

function linkScript() {
    /* poor man's autoloader */
    "use strict";
    Array.prototype.slice.call(arguments, 0).forEach(function (a) {
        var x = document.createElement("script");
        x.async = false;
        x.src = "/mw/scripts/" + a + ".js";
        document.head.appendChild(x);
    });
}

$(function () {
    "use strict";
    //CodeMirror.
    var cmVersion = "codemirror-5.49.2/";
    var CodeMirrorConfig = { expr: 1 };
    linkScript(
        "jshint-2.10.2-min",
        cmVersion + "lib/codemirror",
        cmVersion + "mode/javascript/javascript",
        cmVersion + "mode/cypher/cypher",
        cmVersion + "addon/display/fullscreen",
        cmVersion + "addon/display/rulers",
        cmVersion + "addon/edit/closebrackets",
        cmVersion + "addon/edit/matchbrackets",
        cmVersion + "addon/fold/foldcode",
        cmVersion + "addon/fold/foldgutter",
        cmVersion + "addon/fold/brace-fold",
        cmVersion + "addon/hint/show-hint",
        cmVersion + "addon/lint/lint",
        cmVersion + "addon/lint/javascript-lint",
        cmVersion + "addon/lint/json-lint",
        cmVersion + "addon/edit/trailingspace"
    );

    //Question-related scripts.
    linkScript("nosqlzoo", "beautify", "validator");

    //Google Analytics
    var tag_manager = document.createElement("script");
    tag_manager.async = true;
    tag_manager.src = "https://www.googletagmanager.com/gtag/js?id=UA-120387375-1";
    document.head.appendChild(tag_manager);

    var google = document.createElement("script");
    google.src = "/mw/scripts/google.js";
    document.head.appendChild(google);
});