From 974c69d226cf0c8b4d7fb6591721e7788baef42b Mon Sep 17 00:00:00 2001 From: kremsy Date: Fri, 14 Apr 2017 19:17:40 +0200 Subject: [PATCH] removed deprecated updatemanager --- core/Update/UpdateManager.php | 12 +++--------- 1 file changed, 3 insertions(+), 9 deletions(-) diff --git a/core/Update/UpdateManager.php b/core/Update/UpdateManager.php index 185bc265..301ea22e 100644 --- a/core/Update/UpdateManager.php +++ b/core/Update/UpdateManager.php @@ -37,15 +37,6 @@ class UpdateManager implements CallbackListener, CommandListener, TimerListener const SETTING_PERMISSION_UPDATECHECK = 'Check Core Update'; const BUILD_DATE_FILE_NAME = 'build_date.txt'; - /* - * Public properties - */ - /** @var PluginUpdateManager $pluginUpdateManager - * @deprecated - * @see getPluginUpdateManager() - */ - public $pluginUpdateManager = null; - /* * Private properties */ @@ -55,6 +46,9 @@ class UpdateManager implements CallbackListener, CommandListener, TimerListener /** @var UpdateData $coreUpdateData */ private $coreUpdateData = null; + /** @var PluginUpdateManager $pluginUpdateManager */ + private $pluginUpdateManager = null; + /** * Construct a new update manager instance *