Check expected type after JSON decode instead of checking what is not expected.

This will also allow "true" and "false" as filenames instead of only "null".

diff --git a/apps/files/ajax/download.php b/apps/files/ajax/download.php
index 7c8dcb372e24c5d4517b1ac5459e1c03feb9744a..b2bfd53506d66697482f645e1f40cb6e5bff298d 100644 (file)
--- a/apps/files/ajax/download.php
+++ b/apps/files/ajax/download.php
@@ -35,7 +35,7 @@ $dir = $_GET["dir"];
 
 $files_list = json_decode($files);
 // in case we get only a single file
-if ($files_list === NULL ) {
+if (!is_array($files_list)) {
        $files_list = array($files);
 }