This functionality would suit well in Extension:Maintenance: The Maintenance extension adds a special page for running various maintenance scripts. The user needs the 'maintenance' right to access the special page[1].
Would it be possible/make sense to merge them, and add some configuration variables to enable the more sysadmin oriented (maintenance scripts) and super user oriented features (update slow special pages)? I think it would...
Cheers! Siebrand
[1] http://www.mediawiki.org/wiki/Extension:Maintenance
-----Oorspronkelijk bericht----- Van: mediawiki-cvs-bounces@lists.wikimedia.org [mailto:mediawiki-cvs-bounces@lists.wikimedia.org] Namens ashley@mayflower.knams.wikimedia.org Verzonden: zondag 10 augustus 2008 21:00 Aan: mediawiki-cvs@lists.wikimedia.org Onderwerp: [MediaWiki-CVS] SVN: [39078] trunk/extensions
Revision: 39078 Author: ashley Date: 2008-08-10 19:00:01 +0000 (Sun, 10 Aug 2008)
Log Message: ----------- RefreshSpecial extension from Wikia - allows privileged users to refresh special pages through Special:RefreshSpecial when $wgMiserMode is set to true.
Original code by Bartek ?\197?\129api?\197?\132ski, some tweaks & fixes + Finnish i18n by me.
Added Paths: ----------- trunk/extensions/RefreshSpecial/ trunk/extensions/RefreshSpecial/RefreshSpecial.body.php trunk/extensions/RefreshSpecial/RefreshSpecial.i18n.php trunk/extensions/RefreshSpecial/RefreshSpecial.php