Difference between revisions of "MediaWiki:Common.js"
From NoSQLZoo
m (test loading beautify from node_modules) |
|||
(5 intermediate revisions by 2 users not shown) | |||
Line 13: | Line 13: | ||
"use strict"; | "use strict"; | ||
//CodeMirror. | //CodeMirror. | ||
− | var cmVersion = "codemirror-5. | + | var cmVersion = "codemirror-5.49.2/"; |
linkScript( | linkScript( | ||
− | "jshint-2. | + | "jshint-2.10.2-min", |
cmVersion + "lib/codemirror", | cmVersion + "lib/codemirror", | ||
cmVersion + "mode/javascript/javascript", | cmVersion + "mode/javascript/javascript", | ||
Line 34: | Line 34: | ||
//Question-related scripts. | //Question-related scripts. | ||
− | linkScript("nosqlzoo", " | + | linkScript("nosqlzoo", "beautify", "validator"); |
//Google Analytics | //Google Analytics |
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);
});