From f955faba1c484c8f1ba94f2b6483f59871e62cca Mon Sep 17 00:00:00 2001 From: Arthur Schiwon Date: Mon, 1 Aug 2022 15:32:02 +0200 Subject: [PATCH] fix PHP 7.3 compat Signed-off-by: Arthur Schiwon --- lib/private/Dashboard/Manager.php | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/lib/private/Dashboard/Manager.php b/lib/private/Dashboard/Manager.php index 6a8348ff88f..6a381d62bab 100644 --- 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;