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