From 026a70988ca095ee3156edd79b4e6294f86cf37c Mon Sep 17 00:00:00 2001 From: Zankaria Date: Sun, 20 Oct 2024 11:52:52 +0200 Subject: [PATCH] overboards: remove obsolete code --- templates/themes/overboards/theme.php | 16 ---------------- 1 file changed, 16 deletions(-) diff --git a/templates/themes/overboards/theme.php b/templates/themes/overboards/theme.php index 49ddd412..2a081052 100644 --- a/templates/themes/overboards/theme.php +++ b/templates/themes/overboards/theme.php @@ -215,20 +215,4 @@ 'boardlist' => createBoardlist($mod), ]); } - }; - - if (!function_exists('array_column')) { - /** - * Pick out values from subarrays by given key - */ - function array_column($array, $key) { - $result = []; - foreach ($array as $val) { - $result[] = $val[$key]; - } - return $result; - } - } - -