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
Added rights
refreshspecial
Quarterly downloads 6 (Ranked 164th)
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

  • Download and place the file(s) in a directory called RefreshSpecial in your extensions/ folder.
  • 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

The following new system messages are defined by RefreshSpecial:

MessageDefault valueDescription
refreshspecialRefresh special pagesTitle of Special:RefreshSpecial as displayed on Special:SpecialPages.
refreshspecial-descAllows [[Special:RefreshSpecial|manual special page refresh]] of special pagesExtension description displayed on Special:Version for languages other than English
refreshspecial-titleRefresh special pagesTitle of the special page Special:RefreshSpecial
refreshspecial-helpThis 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-buttonRefresh selectedText displayed on the button on Special:RefreshSpecial. Clicking on the button refreshes the selected special pages.
refreshspecial-failPlease check at least one special page to refresh.
refreshspecial-refreshingrefreshing special pagesText displayed in the subtitle below the actual page title once the user has pressed the "Refresh selected" button.
refreshspecial-skippedcheap, skipped
refreshspecial-choicerefreshing special pagesText 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-pagesSelect all pagesText 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-backGo back to special pageDisplayed 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-selectedYou 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-errorFailed: database errorError message shown to the user if a database error is encountered while trying to do the necessary queries.
refreshspecial-no-pageNo such special pageIf an invalid special page is encountered, this message will be displayed.
refreshspecial-slave-laggedSlave lagged, waiting...Displayed if a slave database server is lagging
refreshspecial-reconnectedReconnected.Displayed if the connection to the database was lost for some reason but the extension was able to reconnect to it.
refreshspecial-reconnectingConnection failed, reconnecting in 10 seconds...Displayed if the connection to the database was lost for some reason.
refreshspecial-page-resultgot $1 {{PLURAL:$1|row|rows}} inDisplayed on Special:RefreshSpecial after the user has pressed the "Refresh selected" button and results were gotten from the DB.
refreshspecial-total-displayRefreshed $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-refreshspecialRefresh special pagesDisplayed on Special:ListGroupRights as a description of the user right.
This article is issued from Mediawiki. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.