User:Rotpunkt/common.js

//mw.loader.load("//it.wikipedia.org/w/index.php?title=MediaWiki:Gadget-CatWatch.js&action=raw&ctype=text/javascript"); popupFixDabs = true; popupFixRedirs = true; popupRedirAutoClick = 'wpDiff'; //importScript('MediaWiki:Wdsearch.js'); /* mw.hook("codeEditor.configure").add(function(editorSession) {	var context = mw.util.$content.find("#wpTextbox1").data("wikiEditor-context");	if (context && context.codeEditor)		editorSession.setTabSize(4); });