From 22c64110e98ba57eddde5287796977f1ed1684b2 Mon Sep 17 00:00:00 2001 From: simon Date: Wed, 3 Jan 2018 19:14:36 -0500 Subject: [PATCH] Removed editor tab for guest users --- game.php | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/game.php b/game.php index d769688..fca9e4d 100644 --- a/game.php +++ b/game.php @@ -175,7 +175,7 @@ if (isset($user)) { - +
@@ -272,6 +272,7 @@ if (isset($user)) {
+
@@ -280,6 +281,8 @@ if (isset($user)) { onclick="document.getElementById('console').innerHTML=''">Clear
+ +