wikimedia/mediawiki-extensions-AbuseFilter
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/AbuseFilter.git synced 2024-11-23 21:53:35 +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: I64c133f00ea12cc5ba787c83ad3dee5f996baf15
This commit is contained in:
Umherirrender 2019-08-19 18:53:57 +02:00
parent 4bebd22e3f
commit cd4e0a5968
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
maintenance/fixOldLogEntries.php
View file

@ -13,7 +13,7 @@ require_once "$IP/maintenance/Maintenance.php";
class FixOldLogEntries extends LoggedUpdateMaintenance {
public function __construct() {
parent::__construct();
$this->mDescription = 'Fix old rows in logging which hold broken log_params';
$this->addDescription( 'Fix old rows in logging which hold broken log_params' );
$this->addOption( 'verbose', 'Print some more debug info' );
$this->addOption( 'dry-run', 'Perform a dry run' );