added varcomment to every plugin

2013-12-30 16:52:26 +01:00
parent 765e648cb8
commit 98c69af28d
9 changed files with 9 additions and 7 deletions
--- a/application/plugins/Karma.php
+++ b/application/plugins/Karma.php
@ -35,6 +35,7 @@ class KarmaPlugin implements CallbackListener, Plugin {
 	/**
 	 * Private properties
 	 */
+	/** @var maniaControl $maniaControl  */
 	private $maniaControl = null;
 	private $updateManialink = false;
 	private $manialink = null;