1
0
mirror of https://github.com/phpbb/phpbb.git synced 2025-07-31 22:10:45 +02:00

[ticket/12782] Use an interface for the phpbb event_dispatcher

PHPBB3-12782
This commit is contained in:
Tristan Darricau
2014-06-28 13:19:55 +02:00
parent 404c2f1144
commit eb13b4ae28
5 changed files with 42 additions and 9 deletions

View File

@@ -17,7 +17,7 @@ class permissions
{
/**
* Event dispatcher object
* @var \phpbb\event\dispatcher
* @var \phpbb\event\dispatcher_interface
*/
protected $dispatcher;
@@ -30,10 +30,10 @@ class permissions
/**
* Constructor
*
* @param \phpbb\event\dispatcher $phpbb_dispatcher Event dispatcher
* @param \phpbb\event\dispatcher_interface $phpbb_dispatcher Event dispatcher
* @param \phpbb\user $user User Object
*/
public function __construct(\phpbb\event\dispatcher $phpbb_dispatcher, \phpbb\user $user)
public function __construct(\phpbb\event\dispatcher_interface $phpbb_dispatcher, \phpbb\user $user)
{
$this->dispatcher = $phpbb_dispatcher;
$this->user = $user;