User:ExE Boss/scripts/MWConfig.js

/***************************************
 * My global MediaWiki config overrides *

if (mw.config.exists("wgAceEditorTheme")) { // Fandom Wikis use `$wgAceEditorTheme` to control the ace editor theme. mw.config.set("wgAceEditorTheme", "eclipse"); } mw.hook("codeEditor.configure").add( => {	const { codeEditor } = $("#wpTextbox1").data("wikiEditor-context");	codeEditor.setTheme("./theme/eclipse");	codeEditor.setOption("wrap", "printMargin"); });