From 1ef3a54fa0e97ba04ac29f32d6ba9dba4b1c84b2 Mon Sep 17 00:00:00 2001
From: Denny Lubitz <lubitz@vivomedia.de>
Date: Mon, 28 Jun 2021 17:28:36 +0200
Subject: [PATCH] Update LazyReader.php

PHP 7.3
---
 Classes/Provider/LazyReader.php | 12 +++++++++---
 1 file changed, 9 insertions(+), 3 deletions(-)

diff --git a/Classes/Provider/LazyReader.php b/Classes/Provider/LazyReader.php
index 462ec05..ef9f982 100644
--- a/Classes/Provider/LazyReader.php
+++ b/Classes/Provider/LazyReader.php
@@ -9,9 +9,15 @@
 
 class LazyReader implements ProviderInterface
 {
-    protected string $databasePath;
+    /**
+     * @var string
+     */
+    protected $databasePath;
 
-    protected ?ProviderInterface $provider = null;
+    /**
+     * @var ProviderInterface|null
+     */
+    protected $provider = null;
 
     public function __construct($databasePath)
     {
@@ -37,4 +43,4 @@ protected function ensureProviderInitialized()
         }
         return $this->provider;
     }
-}
\ No newline at end of file
+}