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

Suppress phan errors caused by UserMerge undeploy

Browse source 
Bug: T364610
Change-Id: If52dfcb083995b08bb34b59d2c9e78bf04ca0199
This commit is contained in:
Amir Sarabadani 2024-05-10 17:33:34 +02:00 committed by Dreamy Jazz
parent 9df34c2c7f
commit e8cbb4d662
1 changed files with 2 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
includes/UserMergeHooks.php
View file

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