Remove test files from sandbox

Author: Mark Randall

index.php

@@ -41,7 +41,7 @@
 
 // Check if the client has the same page cached
 if (isset($_SERVER["HTTP_IF_MODIFIED_SINCE"]) &&
-        ($_SERVER["HTTP_IF_MODIFIED_SINCE"] == $tsstring)) {
+    ($_SERVER["HTTP_IF_MODIFIED_SINCE"] == $tsstring)) {
     header("HTTP/1.1 304 Not Modified");
     exit();
 }

sandbox/example-old.txt

@@ -126,7 +126,6 @@
     import {PHPSandbox} from "/js/sandbox.js";
     const sandbox = new PHPSandbox({
         "boot.php": <?= json_encode(file_get_contents(__DIR__ . '/boot.inc')) ?>,
-        "framework.php": <?= json_encode(file_get_contents(__DIR__ . '/microframework.inc')) ?>,
     });
 
     const sourceInput = document.getElementById("code");