From 7b0ed66d6b972bfc88d7b9a1a0e1369f01084189 Mon Sep 17 00:00:00 2001
From: Laria Carolin Chabowski <laria@laria.me>
Date: Sun, 8 Nov 2020 17:45:02 +0100
Subject: Replace array_repeat() with equivalent array_fill() calls

---
 ratatoeskr/sys/utils.php | 20 --------------------
 1 file changed, 20 deletions(-)

(limited to 'ratatoeskr/sys/utils.php')

diff --git a/ratatoeskr/sys/utils.php b/ratatoeskr/sys/utils.php
index 7092f4d..21d65f9 100644
--- a/ratatoeskr/sys/utils.php
+++ b/ratatoeskr/sys/utils.php
@@ -10,26 +10,6 @@
  * See "ratatoeskr/licenses/ratatoeskr" for more information.
  */
 
-/*
- * Function: array_repeat
- *
- * Parameters:
- *
- *  $val -
- *  $n   -
- *
- * Returns:
- *
- *  An array with $val $n-times repeated.
- */
-function array_repeat($val, $n)
-{
-    $rv = [];
-    for ($i = 0; $i < $n; ++$i) {
-        array_push($rv, $val);
-    }
-    return $rv;
-}
 
 /*
  * Function: intcmp
-- 
cgit v1.2.3-70-g09d2