MediaWiki:Gadget-PurgeButton

PurgeButton: Add "purge" option to page controls.