From 8f03acf1a69813add4faeccd35758ab7703fa929 Mon Sep 17 00:00:00 2001
From: KevinRamharak <kevinramharak_95@hotmail.com>
Date: Wed, 3 Jan 2018 15:06:38 +0100
Subject: [PATCH] hide editor for guests. Using hack to redirect editor button
 to login.php

---
 game.php | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/game.php b/game.php
index b7e7fb9..d769688 100644
--- a/game.php
+++ b/game.php
@@ -127,11 +127,17 @@ if (isset($user)) {
                         <ul>
                             <li><a class="button alt" href="#game" onclick="gameClick()">Game</a>
                             </li>
+                            <?php if($user) { ?>
                             <li><a class="button alt" href="#editorTab" onclick="editorClick()">Editor</a>
                             </li>
+                            <?php } else { ?>
+                            <li><a class="button alt" onclick="window.location = '/login.php';">Editor</a>
+                            </li>
+                            <?php } ?>
                         </ul>
 
                         <!-- Editor buttons -->
+                        <?php if($user) { ?>
                         <div id="editorBtns" style="display: none">
                             <a class="button editorBtn" onclick="mar.client.uploadCode(ace.edit('editor').getValue())">Upload</a>
                             <a class="button editorBtn" onclick="mar.client.reloadCode()">Reload</a>
@@ -146,6 +152,7 @@ if (isset($user)) {
                             <!-- Style the select to something more select'y -->
                             <select title="Select Theme" class="button editorBtn" id="editorTheme"></select>
                         </div>
+                        <?php } ?>
 
                         <div id="gameBtns">
                             <a class="button editorBtn" onclick="findMyRobot()">Find My Robot</a>