It looks like the Purge extension https://www.mediawiki.org/wiki/Extension:Purge for MediaWiki could be very useful to replace many similar gadgets on Wikimedia sites. New users often need to purge the server cache, and don't know how to do it. A simple link is way more helpful than "visit the history page and replace 'history' with 'purge'", etc. Also, a server-side extension has much better i18n support and works without JavaScript. Is anyone interested in getting it in? https://www.mediawiki.org/wiki/Extension:Purge