MediaWiki
REL1_22
|
Maintenance script to delete a batch of pages. More...
Public Member Functions | |
__construct () | |
execute () |
Maintenance script to delete a batch of pages.
Definition at line 38 of file deleteBatch.php.
Reimplemented from Maintenance.
Definition at line 40 of file deleteBatch.php.
References Maintenance\addArg(), and Maintenance\addOption().
Reimplemented from Maintenance.
Definition at line 50 of file deleteBatch.php.
References $error, $file, $success, $title, $user, $wgUser, Maintenance\error(), WikiPage\factory(), Maintenance\getArg(), Maintenance\getOption(), Maintenance\getStdin(), global, Maintenance\hasArg(), User\newFromName(), Title\newFromText(), Maintenance\output(), wfFindFile(), wfGetDB(), and wfWaitForSlaves().