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