AgentAware.php

Go to the documentation of this file.

<?php
 
namespace MediaWiki\Notification;
 
use MediaWiki\User\UserIdentity;
 
interface AgentAware {
 
    public function getAgent(): UserIdentity;
 
}