@@ -218,13 +218,13 @@ |
||
| 218 | 218 | function get_file($user) { |
| 219 | 219 | $dir = sandbox_dir($user); |
| 220 | 220 | $url = post_str('url'); |
| 221 | - if (filter_var($url, FILTER_VALIDATE_URL) === FALSE) { |
|
| 221 | + if (filter_var($url, FILTER_VALIDATE_URL) === false) { |
|
| 222 | 222 | error_page('Not a valid URL'); |
| 223 | 223 | } |
| 224 | 224 | $fname = basename($url); |
| 225 | 225 | $path = "$dir/$fname"; |
| 226 | 226 | if (file_exists($path)) { |
| 227 | - error_page("File $fname exists; delete it first."); |
|
| 227 | + error_page("file $fname exists; delete it first."); |
|
| 228 | 228 | } |
| 229 | 229 | copy($url, $path); |
| 230 | 230 | $notice = "Fetched file from <strong>$url</strong><br/>"; |