wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-11-23 15:36:58 +00:00
Code Issues Packages Projects Releases Wiki Activity

Revert "Suppress phan errors caused by UserMerge undeploy"

Browse source 
This reverts commit e8cbb4d662.

Reason for revert: phan dependencies are restored

Depends-On: I0d07c9412bbb63c947255587a88020637e70b80a
Change-Id: Ib6c1709483e4d8518510c4477bf15699cafc1313
This commit is contained in:
Umherirrender 2024-05-13 18:33:18 +00:00
parent 8c01d91669
commit 1c257ea377
1 changed files with 5 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
includes/UserMergeHooks.php
View file

@ -9,8 +9,11 @@ use MediaWiki\Extension\UserMerge\Hooks\AccountFieldsHook;
use MediaWiki\Extension\UserMerge\Hooks\MergeAccountFromToHook;
use MediaWiki\User\User;
// @phan-suppress-next-line PhanUndeclaredInterface
class UserMergeHooks implements AccountFieldsHook, MergeAccountFromToHook, AccountDeleteTablesHook {
class UserMergeHooks implements
AccountFieldsHook,
MergeAccountFromToHook,
AccountDeleteTablesHook
{
/**
* For integration with the UserMerge extension.