MediaWiki:Gadget-diffTools.js

Nota: Depois de publicar, deve limpar o cachê do seu navegador para ver as alterações.

Firefox e Safari: Pressione Shift enquanto clica Recarregar, ou pressione Ctrl-F5 ou Ctrl-R (⌘-R no Mac)
Google Chrome: Pressione Ctrl-Shift-R (⌘-Shift-R no Mac)
Internet Explorer e Edge: Pressione Ctrl enquanto clica Recarregar, ou pressione Ctrl-F5
Opera: Pressione Ctrl-F5.

/* @source: en:Wikipedia:WikiProject_User_scripts/Scripts/Revert_tools */
/* jshint laxbreak: true */

( function () {
'use strict';

if ( mw.config.get( 'wgNamespaceNumber' ) !== -1 && !!( mw.util.getParamValue( 'diff' ) || mw.util.getParamValue( 'oldid' ) ) ) {
	mw.loader.load( 'ext.gadget.diffToolsCore' );
}
}() );