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); });