wikimedia/mediawiki-extensions-AbuseFilter
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/AbuseFilter.git synced 2024-11-23 21:53:35 +00:00
Code Issues Packages Projects Releases Wiki Activity

Make PreferencesHandler implement the hook interface

Browse source 
Follow-up to Ic7024d9c5f369eb33c4198a59638de9a1d58b04b.

Change-Id: I143dc53806eda8424440803833ef2a25b2893d1d
This commit is contained in:
Matěj Suchánek 2024-09-13 18:44:43 +02:00
parent 2ef2257922
commit 3ec6902f41
1 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
includes/Hooks/Handlers/PreferencesHandler.php
View file

@ -5,9 +5,10 @@ namespace MediaWiki\Extension\AbuseFilter\Hooks\Handlers;
use MediaWiki\Extension\AbuseFilter\AbuseLoggerFactory;
use MediaWiki\Permissions\PermissionManager;
use MediaWiki\Preferences\Hook\GetPreferencesHook;
use MediaWiki\User\Options\Hook\SaveUserOptionsHook;
use MediaWiki\User\UserIdentity;
class PreferencesHandler implements GetPreferencesHook {
class PreferencesHandler implements GetPreferencesHook, SaveUserOptionsHook {
private PermissionManager $permissionManager;
private AbuseLoggerFactory $abuseLoggerFactory;