From 14b2fac573956da4c9e56ce73e05bdb86c8c95e0 Mon Sep 17 00:00:00 2001
From: kremsy <lukas@esc-clan.net>
Date: Wed, 26 Feb 2014 11:02:19 +0100
Subject: [PATCH] doc reference

---
 application/core/Server/UsageReporter.php | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/application/core/Server/UsageReporter.php b/application/core/Server/UsageReporter.php
index b1e4a9d1..3f4f4be7 100644
--- a/application/core/Server/UsageReporter.php
+++ b/application/core/Server/UsageReporter.php
@@ -5,6 +5,7 @@ namespace ManiaControl\Server;
 use ManiaControl\Callbacks\TimerListener;
 use ManiaControl\Formatter;
 use ManiaControl\ManiaControl;
+use ManiaControl\Plugins\Plugin;
 use Maniaplanet\DedicatedServer\Xmlrpc\Exception;
 
 /**
@@ -76,6 +77,7 @@ class UsageReporter implements TimerListener {
 
 		if(is_array($this->maniaControl->pluginManager->getActivePlugins())) {
 			foreach($this->maniaControl->pluginManager->getActivePlugins() as $plugin) {
+				/** @var Plugin $plugin */
 				if(!is_null($plugin::getId()) && is_numeric($plugin::getId())) {
 					$activePlugins[] = $plugin::getId();
 				}