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

Remove backwards compatible code for MediaWiki < 1.28

Browse source 
Extension already requires 1.32+ in extension.json

Change-Id: I76005515ca2dbf367cfc13ab5db8ee7c51bb11cb
This commit is contained in:
Fomafix 2021-07-05 18:48:19 +00:00 committed by DannyS712
parent ec085db978
commit 1d8693829b
1 changed files with 1 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
maintenance/replaceAll.php
View file

@ -98,10 +98,7 @@ class ReplaceAll extends Maintenance {
$this->addOption( 'rename', "Rename page titles instead of replacing contents.",
false, false );
// MW 1.28
if ( method_exists( $this, 'requireExtension' ) ) {
$this->requireExtension( 'Replace Text' );
}
$this->requireExtension( 'Replace Text' );
}
private function getUser() {