@@ -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"); |