From 7ee4e9ead1fdff8599fb862873095fad921bd857 Mon Sep 17 00:00:00 2001 From: kremsy Date: Sun, 2 Mar 2014 14:22:43 +0100 Subject: [PATCH] update phpdoc --- application/core/Manialinks/CustomUIManager.php | 1 + 1 file changed, 1 insertion(+) diff --git a/application/core/Manialinks/CustomUIManager.php b/application/core/Manialinks/CustomUIManager.php index f758d3d9..c3993eec 100644 --- a/application/core/Manialinks/CustomUIManager.php +++ b/application/core/Manialinks/CustomUIManager.php @@ -25,6 +25,7 @@ class CustomUIManager implements CallbackListener, TimerListener { * Private Properties */ private $maniaControl = null; + /** @var customUI $customUI */ private $customUI = null; private $updateManialink = false;