fix PHP 7.3 compat

Signed-off-by: Arthur Schiwon <blizzz@arthur-schiwon.de>

diff --git a/lib/private/Dashboard/Manager.php b/lib/private/Dashboard/Manager.php
index 6a8348ff88f2f471f66194d6bd8fbb3bbd0d4e6a..6a381d62babb16257a5426fef789011fd9dc2c00 100644 (file)
--- a/lib/private/Dashboard/Manager.php
+++ b/lib/private/Dashboard/Manager.php
@@ -43,8 +43,11 @@ class Manager implements IManager {
        /** @var IWidget[] */
        private $widgets = [];
 
-       private ContainerInterface $serverContainer;
-       private ?IAppManager $appManager = null;
+       /** @var ContainerInterface */
+       private $serverContainer;
+
+       /**     @var ?IAppManager */
+       private $appManager = null;
 
        public function __construct(ContainerInterface $serverContainer) {
                $this->serverContainer = $serverContainer;