Passed
Push — server_release/1/1.4 ( 715173...1a8200 )
by
unknown
12:00
created
html/user/sandbox.php 1 patch
Upper-Lower-Casing   +2 added lines, -2 removed lines patch added patch discarded remove patch
@@ -218,13 +218,13 @@
 block discarded – undo
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/>";
Please login to merge, or discard this patch.