Extension:RefreshSpecial
 Release status: stableCategory:Stable extensions |
|
|---|---|
| Implementation | Special pageCategory:Special page extensions |
| Description | Allows manual special page refresh of special pages |
| Author(s) | |
| Latest version | 1.6.0 (2019-01-11) |
| MediaWiki | 1.43+Category:Extensions with manual MediaWiki version |
| PHP | 7.0+ |
| Database changes | No |
| License | GNU General Public License 2.0 or later |
| Download | Category:Extensions in Wikimedia version control |
|
refreshspecial
Category:Extensions which add rights |
|
| Quarterly downloads | 1 (Ranked 95th) |
| 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 move the extracted
RefreshSpecialfolder to yourextensions/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' );
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:
| 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. |
Category:All extensions
Category:Extensions by Fandom
Category:Extensions in Wikimedia version control
Category:Extensions which add rights
Category:Extensions with manual MediaWiki version
Category:Extensions without a compatibility policy
Category:Extensions without an image
Category:GPL licensed extensions
Category:Special page extensions
Category:Stable extensions