wikimedia/mediawiki-extensions-ReplaceText
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/ReplaceText synced 2024-09-23 10:19:50 +00:00
Code Issues Packages Projects Releases Wiki Activity

Use namespaced classes

Browse source 
This requires 1.42 for some new names

Change-Id: I7f2e4271ddb42fa449252a66d3c973ad7669575e
This commit is contained in:
Umherirrender 2024-01-05 21:23:04 +01:00
parent 464311b4bc
commit 48144bb804
3 changed files with 4 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
extension.json
View file

@ -10,7 +10,7 @@
"descriptionmsg": "replacetext-desc",
"license-name": "GPL-2.0-or-later",
"requires": {
"MediaWiki": ">= 1.41"
"MediaWiki": ">= 1.42"
},
"type": "specialpage",
"GroupPermissions": {

4
src/Hooks.php
View file

@ -24,9 +24,9 @@ namespace MediaWiki\Extension\ReplaceText;
use MediaWiki\Config\Config;
use MediaWiki\Hook\SpecialMovepageAfterMoveHook;
use MediaWiki\SpecialPage\SpecialPageFactory;
use MediaWiki\Specials\SpecialMovePage;
use MediaWiki\Title\Title;
use MediaWiki\User\Hook\UserGetReservedNamesHook;
use MovePageForm;
class Hooks implements
SpecialMovepageAfterMoveHook,
@ -57,7 +57,7 @@ class Hooks implements
* Adds a link to the Special:ReplaceText page at the end of a successful
* regular page move message.
*
* @param MovePageForm $form
* @param SpecialMovePage $form
* @param Title $ot Title object of the old article (moved from)
* @param Title $nt Title object of the new article (moved to)
*/

2
src/SpecialReplaceText.php
View file

@ -32,8 +32,8 @@ use MediaWiki\SpecialPage\SpecialPage;
use MediaWiki\Storage\NameTableStore;
use MediaWiki\Title\NamespaceInfo;
use MediaWiki\Title\Title;
use MediaWiki\User\Options\UserOptionsLookup;
use MediaWiki\User\UserFactory;
use MediaWiki\User\UserOptionsLookup;
use OOUI;
use PermissionsError;
use SearchEngineConfig;