Completed
Push — master ( 080859...6fa277 )
by Vitalii
01:56 queued 01:19
created
html/user/buda.php 1 patch
Spacing   +3 added lines, -3 removed lines patch added patch discarded remove patch
@@ -58,7 +58,7 @@  discard block
 block discarded – undo
58 58
 // show list of BUDA apps and variants,
59 59
 // w/ buttons for adding and deleting
60 60
 //
61
-function app_list($notice=null) {
61
+function app_list($notice = null) {
62 62
     global $buda_root;
63 63
     if (!is_dir($buda_root)) {
64 64
         mkdir($buda_root);
@@ -130,7 +130,7 @@  discard block
 block discarded – undo
130 130
     ";
131 131
     start_table('table-striped');
132 132
     table_header('File name', 'size', 'md5');
133
-    foreach(scandir($dir) as $f) {
133
+    foreach (scandir($dir) as $f) {
134 134
         if ($f[0] == '.') continue;
135 135
         [$md5, $size] = parse_info_file("$dir/.md5/$f");
136 136
         table_row(
@@ -209,7 +209,7 @@  discard block
 block discarded – undo
209 209
     //
210 210
     $x = "<input_template>\n";
211 211
     $ninfiles = 1 + count($variant_desc->input_file_names) + count($variant_desc->app_files);
212
-    for ($i=0; $i<$ninfiles; $i++) {
212
+    for ($i = 0; $i < $ninfiles; $i++) {
213 213
         $x .= "   <file_info>\n      <sticky/>\n      <no_delete/>\n      <executable/>\n   </file_info>\n";
214 214
     }
215 215
     $x .= "   <workunit>\n";
Please login to merge, or discard this patch.