Extension:RefreshSpecial

The 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.

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