# HG changeset patch
# User Nicholas Jillings <nicholas.jillings@mail.bcu.ac.uk>
# Date 1531919734 -3600
# Node ID b2138d9d5df6b9c54b64941b1a264fce9051b2c1
# Parent  b200dfe179b3f22d54b571fa71d02634b5f37ce6
Minor

diff -r b200dfe179b3 -r b2138d9d5df6 php/pseudo.php
--- 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"];
 }