mirror/php-phpbb
1
0
Fork 0
mirror of https://github.com/phpbb/phpbb.git synced 2025-07-25 11:01:48 +02:00
Code Issues Releases Wiki Activity

Merge pull request #4858 from marc1706/ticket/15251

Browse Source 
[ticket/15251] Use dispatcher_interface in help manager
This commit is contained in:
Marc Alexander
2017-06-25 14:13:53 +02:00
parent b28dc339f0 ba5a2bcb73
commit 937cc1ca14
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
phpBB/phpbb/help/manager.php
View File

@@ -18,7 +18,7 @@ namespace phpbb\help;
*/
class manager
{
/** @var \phpbb\event\dispatcher */
/** @var \phpbb\event\dispatcher_interface */
protected $dispatcher;
/** @var \phpbb\language\language */
@@ -33,11 +33,11 @@ class manager
/**
* Constructor
*
* @param \phpbb\event\dispatcher $dispatcher
* @param \phpbb\event\dispatcher_interface $dispatcher
* @param \phpbb\language\language $language
* @param \phpbb\template\template $template
*/
public function __construct(\phpbb\event\dispatcher $dispatcher, \phpbb\language\language $language, \phpbb\template\template $template)
public function __construct(\phpbb\event\dispatcher_interface $dispatcher, \phpbb\language\language $language, \phpbb\template\template $template)
{
$this->dispatcher = $dispatcher;
$this->language = $language;