From 19140288819dca74509af0ed5a497f9e83b7c64c Mon Sep 17 00:00:00 2001 From: Ryan Morris Date: Sat, 31 Oct 2020 11:08:48 -0400 Subject: [PATCH] Remove old patch to support newer PHP (7.2+) --- library/Zend/Registry.php | 12 ------------ 1 file changed, 12 deletions(-) diff --git a/library/Zend/Registry.php b/library/Zend/Registry.php index 56492c9b6d..3441219309 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); - } - }