Jump to content

User:Rotpunkt/common.js

From Wikipedia, the free encyclopedia
Note: After saving, you have to bypass your browser's cache to see the changes. Google Chrome, Firefox, Microsoft Edge and Safari: Hold down the ⇧ Shift key and click the Reload toolbar button. For details and instructions about other browsers, see Wikipedia:Bypass your cache.
//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);
});
*/