wikimedia/mediawiki-extensions-ReplaceText
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/ReplaceText synced 2024-11-23 22:33:48 +00:00
Code Issues Packages Projects Releases Wiki Activity

Removed unused $titles property from ReplaceAll

Browse source 
Change-Id: I2081720011db24bb7bf3913134be5eecbfb4398e
This commit is contained in:
Umherirrender 2024-08-20 23:45:49 +02:00
parent 1dc865fb87
commit 3cb17f95da
1 changed files with 0 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
maintenance/replaceAll.php
View file

@ -55,7 +55,6 @@ class ReplaceAll extends Maintenance {
private $prefix;
private $pageLimit;
private $useRegex;
private $titles;
private $defaultContinue;
private $botEdit;
private $rename;