@@ -84,7 +84,7 @@ discard block |
||
84 | 84 | page_tail(); |
85 | 85 | } |
86 | 86 | |
87 | -function list_files($user, $notice=null) { |
|
87 | +function list_files($user, $notice = null) { |
|
88 | 88 | $dir = sandbox_dir($user); |
89 | 89 | if (!is_dir($dir)) error_page("Can't open sandbox directory"); |
90 | 90 | page_head("File sandbox"); |
@@ -168,7 +168,7 @@ discard block |
||
168 | 168 | $notice = ""; |
169 | 169 | $dir = sandbox_dir($user); |
170 | 170 | $count = count($_FILES['new_file']['tmp_name']); |
171 | - for ($i=0; $i<$count; $i++) { |
|
171 | + for ($i = 0; $i < $count; $i++) { |
|
172 | 172 | $tmp_name = $_FILES['new_file']['tmp_name'][$i]; |
173 | 173 | if (!is_uploaded_file($tmp_name)) { |
174 | 174 | error_page("$tmp_name is not uploaded file"); |