mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo
synced 2024-11-28 01:30:15 +00:00
a0ca1d89c6
Changes to the use statements done automatically via script Addition of missing use statements done manually Change-Id: Iad87245bf8082193be72f7e482f29e9f1bad11fc
23 lines
615 B
PHP
23 lines
615 B
PHP
<?php
|
|
|
|
namespace MediaWiki\Extension\Notifications\Hooks;
|
|
|
|
use MediaWiki\Extension\Notifications\Model\Event;
|
|
use MediaWiki\User\User;
|
|
|
|
/**
|
|
* This is a hook handler interface, see docs/Hooks.md in core.
|
|
* Use the hook name "EchoGetDefaultNotifiedUsers" to register handlers implementing this interface.
|
|
*
|
|
* @stable to implement
|
|
* @ingroup Hooks
|
|
*/
|
|
interface EchoGetDefaultNotifiedUsersHook {
|
|
/**
|
|
* @param Event $event
|
|
* @param User[] &$users
|
|
* @return bool|void True or no return value to continue or false to abort
|
|
*/
|
|
public function onEchoGetDefaultNotifiedUsers( Event $event, array &$users );
|
|
}
|