wikimedia/mediawiki-extensions-ReplaceText
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/ReplaceText synced 2024-11-15 02:53:52 +00:00
Code Issues Packages Projects Releases Wiki Activity

Use Maintenance::addDescription

Browse source 
It is better to use a setter function than setting a property

Change-Id: Idc5985e0fa4e773687bcd829e21259cee3045939
This commit is contained in:
Umherirrender 2019-08-19 20:33:06 +02:00
parent cc5a9683d9
commit f98647f62c
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
maintenance/replaceAll.php
View file

@ -58,8 +58,8 @@ class ReplaceAll extends Maintenance {
public function __construct() {
parent::__construct();
$this->mDescription = "CLI utility to replace text wherever it is " .
"found in the wiki.";
$this->addDescription( "CLI utility to replace text wherever it is " .
"found in the wiki." );
$this->addArg( "target", "Target text to find.", false );
$this->addArg( "replace", "Text to replace.", false );