From 44d5fe350256b5a4316ca9e11ad0012694272f64 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Philipp=20Sch=C3=BCle?= <p.schuele@metaways.de>
Date: Mon, 23 Dec 2019 10:47:21 +0100
Subject: [PATCH] fix(Registry): make registry php 7.4 compatible

Deprecated: array_key_exists(): Using array_key_exists()
 on objects is deprecated. Use isset() or property_exists()
 instead

see https://github.com/tine20/tine20/issues/7125
---
 library/Zend/Registry.php | 12 ------------
 1 file changed, 12 deletions(-)

diff --git a/library/Zend/Registry.php b/library/Zend/Registry.php
index 837b05ae5..4eab42fe9 100644
--- a/library/Zend/Registry.php
+++ b/library/Zend/Registry.php
@@ -194,16 +194,4 @@ public function __construct($array = array(), $flags = parent::ARRAY_AS_PROPS)
     {
         parent::__construct($array, $flags);
     }
-
-    /**
-     * @param string $index
-     * @returns mixed
-     *
-     * Workaround for http://bugs.php.net/bug.php?id=40442 (ZF-960).
-     */
-    public function offsetExists($index)
-    {
-        return array_key_exists($index, $this);
-    }
-
 }