diff --git a/boot.php b/boot.php
index 57d1c77684..108d8d0ede 100644
--- a/boot.php
+++ b/boot.php
@@ -2202,7 +2202,3 @@ function argv($x) {
 
 	return '';
 }
-
-function is_filled_array ($array) {
-	return (is_array($array) && count($array) > 0);
-}