From 109eec923fd0994c0d1aef45d68bdc7734833408 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Andr=C3=A9?= <andre.peters@servercow.de>
Date: Tue, 16 Oct 2018 23:00:15 +0200
Subject: [PATCH] [Web] Internal hint to switch to array_key_last instead of
 array_pop

---
 data/web/inc/vars.inc.php | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/data/web/inc/vars.inc.php b/data/web/inc/vars.inc.php
index 9cb4c0da..e402055b 100644
--- a/data/web/inc/vars.inc.php
+++ b/data/web/inc/vars.inc.php
@@ -27,6 +27,8 @@ if ($https_port === FALSE) {
 } else {
   $https_port = substr($_SERVER['HTTP_HOST'], $https_port+1);
 }
+
+// TODO: Switch from array_pop to array_key_last with release of PHP 7.3
 // Alternatively select port here =>
 //$https_port = 1234;
 // Other settings =>