Passed
Pull Request — master (#6611)
by David
16:24 queued 06:31
created
html/user/submit.php 1 patch
Upper-Lower-Casing   +3 added lines, -3 removed lines patch added patch discarded remove patch
@@ -661,7 +661,7 @@  discard block
 block discarded – undo
661 661
 
662 662
     $is_assim_move = is_assim_move($app);
663 663
 
664
-    page_head("Batch $batch_id");
664
+    page_head("batch $batch_id");
665 665
     text_start(800);
666 666
     start_table();
667 667
     row2("Batch name", $batch->name);
@@ -963,7 +963,7 @@  discard block
 block discarded – undo
963 963
 
964 964
     if (get_int('confirmed', true)) {
965 965
         abort_batch($batch);
966
-        page_head("Batch $batch_id aborted");
966
+        page_head("batch $batch_id aborted");
967 967
         return_link();
968 968
         page_tail();
969 969
     } else {
@@ -993,7 +993,7 @@  discard block
 block discarded – undo
993 993
 
994 994
     if (get_int('confirmed', true)) {
995 995
         retire_batch($batch);
996
-        page_head("Batch $batch_id retired");
996
+        page_head("batch $batch_id retired");
997 997
         return_link();
998 998
         page_tail();
999 999
     } else {
Please login to merge, or discard this patch.
html/user/sandbox.php 1 patch
Upper-Lower-Casing   +2 added lines, -2 removed lines patch added patch discarded remove patch
@@ -216,7 +216,7 @@  discard block
 block discarded – undo
216 216
 function get_file($user) {
217 217
     $dir = sandbox_dir($user);
218 218
     $url = post_str('url');
219
-    if (filter_var($url, FILTER_VALIDATE_URL) === FALSE) {
219
+    if (filter_var($url, FILTER_VALIDATE_URL) === false) {
220 220
         error_page('Not a valid URL');
221 221
     }
222 222
     $fname = basename($url);
@@ -225,7 +225,7 @@  discard block
 block discarded – undo
225 225
     }
226 226
     $path = "$dir/$fname";
227 227
     if (file_exists($path)) {
228
-        error_page("File $fname exists; delete it first.");
228
+        error_page("file $fname exists; delete it first.");
229 229
     }
230 230
     copy($url, $path);
231 231
     $notice = "Fetched file from <strong>$url</strong><br/>";
Please login to merge, or discard this patch.