MediaWiki:Group-developer.js

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

$(function {	if (mw.config.get('wgCanonicalSpecialPageName') === 'ReplaceText') {		if (!(window.performance && window.performance.navigation.type === window.performance.navigation.TYPE_BACK_FORWARD)) {			$('input[id="mw-search-ns0"]').prop('checked', false);			$('input[id="doAnnounce"]').prop('checked', false);		}	} });