diff php/pseudo.php @ 3116:b2138d9d5df6

Minor
author Nicholas Jillings <nicholas.jillings@mail.bcu.ac.uk>
date Wed, 18 Jul 2018 14:15:34 +0100
parents 54df1a21bf84
children 76cffc7ecdee
line wrap: on
line diff
--- a/php/pseudo.php	Wed Jul 18 14:07:50 2018 +0100
+++ b/php/pseudo.php	Wed Jul 18 14:15:34 2018 +0100
@@ -6,13 +6,13 @@
 header("Pragma: no-cache");
 
 if (isset($_GET["prefix"]) == FALSE) {
-    $prefix = ""
+    $prefix = "";
 } else {
     $prefix = $_GET["prefix"];
 }
 
 if (isset($_GET["dir"]) == FALSE) {
-    $prefix = ""
+    $prefix = "";
 } else {
     $prefix = $_GET["dir"];
 }