From 4fd3d1a0245fc05956121155acc5047a29684c54 Mon Sep 17 00:00:00 2001
From: Shish <shish@shishnet.org>
Date: Mon, 1 Jun 2015 11:23:04 +0100
Subject: [PATCH] argh php

---
 core/util.inc.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/core/util.inc.php b/core/util.inc.php
index 4330d06e..d06f7097 100644
--- a/core/util.inc.php
+++ b/core/util.inc.php
@@ -1288,7 +1288,7 @@ function full_copy($source, $target) {
 function list_files(/*string*/ $base, $_sub_dir="") {
     assert(is_dir($base));
 
-    $file_list = [];
+    $file_list = array();
 
     $files = array();
     $dir = opendir("$base/$_sub_dir");