update phpdoc

This commit is contained in:
kremsy authored and Steffen Schröder committed 2014-05-01 17:35:32 +02:00
1 parent 34989d233d
commit 7ee4e9ead1
1 file changed
+1
@@ -25,6 +25,7 @@ class CustomUIManager implements CallbackListener, TimerListener {
* Private Properties * Private Properties
*/ */
private $maniaControl = null; private $maniaControl = null;
/** @var customUI $customUI */
private $customUI = null; private $customUI = null;
private $updateManialink = false; private $updateManialink = false;