From 42c7b9407633a514a619fca58a3e831ba45be412 Mon Sep 17 00:00:00 2001
From: hahn <axel.hahn@iml.unibe.ch>
Date: Fri, 2 Dec 2022 16:35:06 +0100
Subject: [PATCH] replace array_key_exists

---
 public_html/deployment/classes/project.class.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/public_html/deployment/classes/project.class.php b/public_html/deployment/classes/project.class.php
index 88576602..6b163e3e 100644
--- a/public_html/deployment/classes/project.class.php
+++ b/public_html/deployment/classes/project.class.php
@@ -647,7 +647,7 @@ class project extends base {
         $this->getAllPhaseInfos();
         foreach ($this->_aData["phases"] as $sPhase => $aData) {
             foreach (array_keys($this->_aPlaces) as $sPlace) {
-                if (array_key_exists($sPlace, $aData) && array_key_exists("version", $aData[$sPlace])) {
+                if (isset($aData[$sPlace]["version"])) {
                     $this->_aVersions[$aData[$sPlace]["version"]][] = array('phase' => $sPhase, 'place' => $sPlace);
                 }
             }
-- 
GitLab