Difference between revisions of "MediaWiki:Common.js"
From NoSQLZoo
m (Version update) |
|
(3 intermediate revisions by the same user not shown) | |
(No difference)
|
Latest revision as of 15:23, 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/";
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);
});