MediaWiki:JSScripts/HistoryNumDiff

Une page de Wikipédia, l'encyclopédie libre.

// Déplacé vers MediaWiki:Gadget-HistoryNumDiff.js pour compatibilité avec le système des gadgets, bien que celui-ci n'en soit pas un (pour l'instant ?)

Ce document provient de « https://fr.wikipedia.org/w/index.php?title=MediaWiki:JSScripts/HistoryNumDiff&oldid=23604519 ».