From f268f889a458698933a6932e93797d26ebfe2a8e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?St=C3=A9phane=20Goetz?= <onigoetz@onigoetz.ch>
Date: Fri, 7 Feb 2020 22:38:28 +0100
Subject: [PATCH] Fix PHP 7.4 warnings #189

---
 libs/BaseConfig.php | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/libs/BaseConfig.php b/libs/BaseConfig.php
index 7d29f09..be0d3ff 100644
--- a/libs/BaseConfig.php
+++ b/libs/BaseConfig.php
@@ -15,7 +15,7 @@ class BaseConfig extends ArrayObject
         foreach ($newValues as $key => $value) {
             // If the key doesn't exist yet,
             // we can simply set it.
-            if (!array_key_exists($key, /** @scrutinizer ignore-type */ $this)) {
+            if (!array_key_exists($key, (array) $this)) {
                 $this[$key] = $value;
                 continue;
             }
@@ -39,7 +39,7 @@ class BaseConfig extends ArrayObject
 
     public function hasValue($key)
     {
-        return array_key_exists($key, /** @scrutinizer ignore-type */ $this);
+        return array_key_exists($key, (array) $this);
     }
 
     public function getValue($key)