fixed doubled phpdoc

This commit is contained in:
Steffen Schröder 2014-08-25 15:46:11 +02:00
parent 7d92b17975
commit 3ae87d9f47

View File

@ -53,68 +53,89 @@ class ManiaControl implements CallbackListener, CommandListener, TimerListener {
/* /*
* Public properties * Public properties
*/ */
/** @var ActionsMenu $actionsMenu */ /** @var ActionsMenu $actionsMenu
/** @deprecated see getActionsMenu() */ * @deprecated see getActionsMenu()
*/
public $actionsMenu = null; public $actionsMenu = null;
/** @var AuthenticationManager $authenticationManager */ /** @var AuthenticationManager $authenticationManager
/** @deprecated see getAuthenticationManager() */ * @deprecated see getAuthenticationManager()
*/
public $authenticationManager = null; public $authenticationManager = null;
/** @var CallbackManager $callbackManager */ /** @var CallbackManager $callbackManager
/** @deprecated see getCallbackManager() */ * @deprecated see getCallbackManager()
*/
public $callbackManager = null; public $callbackManager = null;
/** @var Chat $chat */ /** @var Chat $chat
/** @deprecated see getChat() */ * @deprecated see getChat()
*/
public $chat = null; public $chat = null;
/** @var \SimpleXMLElement $config */ /** @var \SimpleXMLElement $config
/** @deprecated see getConfig() */ * @deprecated see getConfig()
*/
public $config = null; public $config = null;
/** @var Configurator $configurator */ /** @var Configurator $configurator
/** @deprecated see getConfigurator() */ * @deprecated see getConfigurator()
*/
public $configurator = null; public $configurator = null;
/** @var Connection $client */ /** @var Connection $client
/** @deprecated see getClient() */ * @deprecated see getClient()
*/
public $client = null; public $client = null;
/** @var CommandManager $commandManager */ /** @var CommandManager $commandManager
/** @deprecated see getCommandManager() */ * @deprecated see getCommandManager()
*/
public $commandManager = null; public $commandManager = null;
/** @var Database $database */ /** @var Database $database
/** @deprecated see getDatabase() */ * @deprecated see getDatabase()
*/
public $database = null; public $database = null;
/** @var ManialinkManager $manialinkManager */ /** @var ManialinkManager $manialinkManager
/** @deprecated see getManialinkManager */ * @deprecated see getManialinkManager
*/
public $manialinkManager = null; public $manialinkManager = null;
/** @var MapManager $mapManager */ /** @var MapManager $mapManager
/** @deprecated see getMapManager() */ * @deprecated see getMapManager()
*/
public $mapManager = null; public $mapManager = null;
/** @var PlayerManager $playerManager */ /** @var PlayerManager $playerManager
/** @deprecated see getPlayerManager() */ * @deprecated see getPlayerManager()
*/
public $playerManager = null; public $playerManager = null;
/** @var PluginManager $pluginManager */ /** @var PluginManager $pluginManager
/** @deprecated see getPluginManager() */ * @deprecated see getPluginManager()
*/
public $pluginManager = null; public $pluginManager = null;
/** @var Server $server */ /** @var Server $server
/** @deprecated see getServer() */ * @deprecated see getServer()
*/
public $server = null; public $server = null;
/** @var SettingManager $settingManager */ /** @var SettingManager $settingManager
/** @deprecated see getSettingManager() */ * @deprecated see getSettingManager()
*/
public $settingManager = null; public $settingManager = null;
/** @var StatisticManager $statisticManager */ /** @var StatisticManager $statisticManager
/** @deprecated see getStatisticManager() */ * @deprecated see getStatisticManager()
*/
public $statisticManager = null; public $statisticManager = null;
/** @var UpdateManager $updateManager */ /** @var UpdateManager $updateManager
/** @deprecated see getUpdateManager() */ * @deprecated see getUpdateManager()
*/
public $updateManager = null; public $updateManager = null;
/** @var ErrorHandler $errorHandler */ /** @var ErrorHandler $errorHandler
/** @deprecated see getErrorHandler() */ * @deprecated see getErrorHandler()
*/
public $errorHandler = null; public $errorHandler = null;
/** @var TimerManager $timerManager */ /** @var TimerManager $timerManager
/** @deprecated see getTimerManager() */ * @deprecated see getTimerManager()
*/
public $timerManager = null; public $timerManager = null;
/** @var AsynchronousFileReader $fileReader */ /** @var AsynchronousFileReader $fileReader
/** @deprecated see getFileReader() */ * @deprecated see getFileReader()
*/
public $fileReader = null; public $fileReader = null;
/** @var BillManager $billManager */ /** @var BillManager $billManager
/** @deprecated see getBillManager() */ * @deprecated see getBillManager()
*/
public $billManager = null; public $billManager = null;
/* /*