mirror/php-phpbb
1
0
Fork 0
mirror of https://github.com/phpbb/phpbb.git synced 2025-08-19 15:01:33 +02:00
Code Issues Releases Wiki Activity

[ticket/13421] Always require the interface when possible

Browse Source 
PHPBB3-13421
This commit is contained in:
Joas Schilling
2014-11-22 02:15:06 +01:00
parent 536bdf036b
commit d78bb2865b
4 changed files with 7 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
phpBB/phpbb/search/fulltext_sphinx.php
View File

@@ -85,7 +85,7 @@ class fulltext_sphinx
/**
* Database Tools object
* @var \phpbb\db\tools
* @var \phpbb\db\tools_interface
*/
protected $db_tools;