MediaWiki:Group-developer.js

/* Any JavaScript here will be loaded for developers only */

/* Update defaults for Special:ReplaceText */ $(function {	if (mw.config.get('wgCanonicalSpecialPageName') === 'ReplaceText') {		$('input[id="mw-search-ns0"]').prop('checked', false);		$('input[id="doAnnounce"]').prop('checked', false);	} });