Extension:RefreshSpecial

From MediaWiki.org
Jump to: navigation, search
MediaWiki extensions manual
Crystal Clear action run.png
RefreshSpecial

Release status: stable

Implementation Special page
Description Allows manual special page refresh of special pages
Author(s) Bartek Łapiński
Jack Phoenix
Latest version 1.2.1 (March 26, 2009)
MediaWiki 1.14+
License GNU General Public License 2.0 or later
Download
Added rights

refreshspecial

Translate the RefreshSpecial extension if it is available at translatewiki.net

Check usage and version matrix; code metrics

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 | edit source]

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

System messages[edit | edit source]

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.