MediaWiki:JSScripts/DeluxeHistory

// Déplacé vers MediaWiki:Gadget-DeluxeHistory.js car transformé en gadget