Jingga/phpOMS
1
0
Fork 0
mirror of https://github.com/Karaka-Management/phpOMS.git synced 2026-01-23 14:58:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

fix type hint

Browse Source
This commit is contained in:
Dennis Eichhorn 2019-11-03 23:22:33 +01:00
parent 8389360eba
commit e952b515d8
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
ApplicationAbstract.php
View File

@ -39,7 +39,7 @@ use phpOMS\DataStorage\Session\SessionInterface;
* @property int $orgId
* @property \phpOMS\DataStorage\Database\DatabasePool $dbPool
* @property \phpOMS\Localization\L11nManager $l11nManager
* @property \phpOMS\Router\WebRouter $router
* @property \phpOMS\Router\RouterInterface $router
* @property \phpOMS\DataStorage\Session\SessionInterface $sessionManager
* @property \phpOMS\DataStorage\Cookie\CookieJar $cookieJar
* @property \phpOMS\Module\ModuleManager $moduleManager