Extension:RefreshSpecial

From mediawiki.org
MediaWiki extensions manual
RefreshSpecial
Release status: stable
Implementation Special page
Description Allows manual special page refresh of special pages
Author(s)
Latest version 1.6.0 (2019-01-11)
MediaWiki 1.39+
PHP 7.0+
Database changes No
License GNU General Public License 2.0 or later
Download
refreshspecial
Quarterly downloads 1 (Ranked 149th)
Public wikis using 1,215 (Ranked 230th)
Translate the RefreshSpecial extension if it is available at translatewiki.net

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.

Installation[edit]

  • Download and move the extracted RefreshSpecial folder to your extensions/ directory.
    Developers and code contributors should install the extension from Git instead, using:cd extensions/
    git clone https://gerrit.wikimedia.org/r/mediawiki/extensions/RefreshSpecial
  • Add the following code at the bottom of your LocalSettings.php file:
    wfLoadExtension( 'RefreshSpecial' );
    
  • Yes Done – Navigate to Special:Version on your wiki to verify that the extension is successfully installed.

System messages[edit]

The following new system messages are defined by RefreshSpecial:

Message Default value Description
refreshspecial Refresh special pages Title of Special:RefreshSpecial as displayed on Special:SpecialPages.
refreshspecial-desc Allows [[Special:RefreshSpecial|manual special page refresh]] of special pages Extension description displayed on Special:Version for languages other than English
refreshspecial-title Refresh special pages Title of the special page Special:RefreshSpecial
refreshspecial-help This special page provides means to manually refresh special pages. When you have chosen all pages that you want to refresh, click on the Refresh button below to make it go. Warning: the refresh may take a while on larger wikis. Help displayed to the user on Special:RefreshSpecial
refreshspecial-button Refresh selected Text displayed on the button on Special:RefreshSpecial. Clicking on the button refreshes the selected special pages.
refreshspecial-fail Please check at least one special page to refresh.
refreshspecial-refreshing refreshing special pages Text displayed in the subtitle below the actual page title once the user has pressed the "Refresh selected" button.
refreshspecial-skipped cheap, skipped
refreshspecial-choice refreshing special pages Text displayed in the subtitle below the actual page title once the user has pressed the "Refresh selected" button.
refreshspecial-js-disabled (<i>You cannot select all pages when JavaScript is disabled</i>) Displayed to users with JavaScript disabled so that they won't wonder why the "select all pages" checkbox isn't working properly.
refreshspecial-select-all-pages Select all pages Text displayed next to a checkbox on Special:RefreshSpecial; checking the checkbox allows to select all listed pages. Please note that there is a space before the word "select" and after the word "pages".
refreshspecial-link-back Go back to special page Displayed on Special:RefreshSpecial after the user has pressed the "Refresh selected" button, at the bottom of the page. Link points back to Special:RefreshSpecial.
refreshspecial-none-selected You have not selected any special pages. Reverting to default selection. If the user pressed the "Refresh selected" button without checking any of the checkboxes, this message will be displayed to him/her.
refreshspecial-db-error Failed: database error Error message shown to the user if a database error is encountered while trying to do the necessary queries.
refreshspecial-no-page No such special page If an invalid special page is encountered, this message will be displayed.
refreshspecial-slave-lagged Slave lagged, waiting... Displayed if a slave database server is lagging
refreshspecial-reconnected Reconnected. Displayed if the connection to the database was lost for some reason but the extension was able to reconnect to it.
refreshspecial-reconnecting Connection failed, reconnecting in 10 seconds... Displayed if the connection to the database was lost for some reason.
refreshspecial-page-result got $1 {{PLURAL:$1|row|rows}} in Displayed on Special:RefreshSpecial after the user has pressed the "Refresh selected" button and results were gotten from the DB.
refreshspecial-total-display Refreshed $1 {{PLURAL:$1|page|pages}} totaling $2 {{PLURAL:$2|row|rows}} in time $3 (complete time of the script run is $4) Displayed on Special:RefreshSpecial after the user has pressed the "Refresh selected" button if the refreshing was done successfully. $1 is the amount of special pages refreshed, $2 is the amount of database rows touched, $3 is the time how long it took to refresh all the selected special pages and $4 is the complete time of the script run.
right-refreshspecial Refresh special pages Displayed on Special:ListGroupRights as a description of the user right.