Provides a special page that can be used to batch-process all pages in the wiki. More...
Public Member Functions | |
| __construct () | |
| Constructor. More... | |
| getGroupName () | |
| execute ($par) | |
| Entry function of the special page class. More... | |
Private Member Functions | |
| process (\WebRequest &$request,\OutputPage &$output) | |
| Processes wiki articles, starting at the page indicated by $startTitle. More... | |
| buildInfoPage (&$request, &$output) | |
| addProgressInfo (&$output, $curTitle, $index, $end) | |
| getReloaderForm ($url, $start, $end, $reloads) | |
| Generates an HTML form and JavaScript to automatically submit the form. More... | |
| addCompletedInfo (&$output, $start, $end, $reloads) | |
| Adds statistics to the page when all processing is done. More... | |
| countPages (&$dbr, $namespacesClause) | |
| Counts the number of pages in a read-access wiki database ($dbr). More... | |
Private Attributes | |
| $config | |
Provides a special page that can be used to batch-process all pages in the wiki.
By default, this can only be performed by sysops.
Definition at line 38 of file Special.php.
| LinkTitles\Special::__construct | ( | ) |
Constructor.
Announces the special page title and required user right to the parent constructor.
Definition at line 44 of file Special.php.
|
private |
Adds statistics to the page when all processing is done.
| $output | Output object |
| $start | Index of the first page that was processed. |
| $end | Index of the last processed page. |
| $reloads | Number of reloads of the page. |
Definition at line 247 of file Special.php.
|
private |
Counts the number of pages in a read-access wiki database ($dbr).
| $dbr | Read-only Database object. |
Definition at line 259 of file Special.php.
| LinkTitles\Special::execute | ( | $par | ) |
Entry function of the special page class.
Will abort if the user does not have appropriate permissions ('linktitles-batch').
| $par | Additional parameters (required by interface; currently not used) |
Definition at line 61 of file Special.php.
|
private |
Generates an HTML form and JavaScript to automatically submit the form.
| $url | URL to reload with a POST request. |
| $start | Index of the next page that shall be processed. |
| $end | Index of the last page to be processed. |
| $reloads | Counter that holds the number of reloads so far. |
Definition at line 224 of file Special.php.
|
private |
Processes wiki articles, starting at the page indicated by $startTitle.
If $wgLinkTitlesTimeLimit is reached before all pages are processed, returns the title of the next page that needs processing.
| WebRequest | $request | WebRequest object that is associated with the special page. |
| OutputPage | $output | Output page for the special page. |
Definition at line 97 of file Special.php.