Extension:RefreshSpecial

RefreshSpecial extension adds a special page, Special:RefreshSpecial, where users with the 'refreshspecial' right can update cached special pages when $wgMiserMode is set to true.

This extension was based on the updateSpecialPages.php maintenance script.

Installation

 * 1) Download the source code and place the files into $IP/extensions/RefreshSpecial/
 * 2) Add  into your wiki's LocalSettings.php
 * 3) Installation can now be verified through your wiki's Special:Version.

System messages
The following new system messages are defined by RefreshSpecial: