MediaWiki
master
AgentAware.php
Go to the documentation of this file.
1
<?php
2
3
namespace
MediaWiki\Notification
;
4
5
use
MediaWiki\User\UserIdentity
;
6
13
interface
AgentAware
{
14
18
public
function
getAgent
():
UserIdentity
;
19
20
}
MediaWiki\Notification\AgentAware
Marker interface for Notifications aware of the agent who triggered the notification.
Definition
AgentAware.php:13
MediaWiki\Notification\AgentAware\getAgent
getAgent()
MediaWiki\User\UserIdentity
Interface for objects representing user identity.
Definition
UserIdentity.php:24
MediaWiki\Notification
Definition
AgentAware.php:3
includes
Notification
AgentAware.php
Generated on Wed Nov 19 2025 01:25:37 for MediaWiki by
1.10.0