php8.patch


1
2
3
4
5
6
7
8
9
10
11
12

--- a/lib/file_ui_output.php	2018-06-03 10:41:21.289939513 +0200
+++ b/lib/file_ui_output.php	2018-06-03 10:41:39.979873447 +0200
@@ -149,7 +149,8 @@
         $script = '';
 
         if (!empty($this->env)) {
-            $script[] = 'ui.set_env(' . json_encode($this->env) . ');';
+	    $script = [];
+	    $script[] = 'ui.set_env(' . json_encode($this->env) . ');';
         }
 
         $this->labels = array_unique($this->labels);