diff --git a/lib/phpunit/classes/util.php b/lib/phpunit/classes/util.php
old mode 100755
new mode 100644
diff --git a/lib/testing/classes/util.php b/lib/testing/classes/util.php
old mode 100755
new mode 100644
index 6848edca07a..ba4f4915170
--- a/lib/testing/classes/util.php
+++ b/lib/testing/classes/util.php
@@ -879,7 +879,7 @@ abstract class testing_util {
 
             // Save the file list in a JSON file.
             $fp = fopen($jsonfilepath, 'w');
-            fwrite($fp, json_encode($listfiles));
+            fwrite($fp, json_encode(array_values($listfiles)));
             fclose($fp);
         }
     }