coding & phpdoc improvements continued

2014-05-27 22:44:22 +02:00
parent 9e016cc770
commit c284feb843
12 changed files with 23 additions and 40 deletions
--- a/application/core/Plugins/PluginManager.php
+++ b/application/core/Plugins/PluginManager.php
@ -29,7 +29,9 @@ class PluginManager {
 	private $maniaControl = null;
 	private $pluginMenu = null;
 	private $pluginInstallMenu = null;
+	/** @var Plugin[] $activePlugins */
 	private $activePlugins = array();
+	/** @var string[] $pluginClasses */
 	private $pluginClasses = array();

 	/**