r4298 remove require(), which is no longer needed here

diff --git a/wwwroot/index.php b/wwwroot/index.php
index baf41f9b455d7c82f5408dc55bd9099d00c4c76f..da3e24fa7073dbab916a9323362fc5e60143e2ec 100644 (file)
--- a/wwwroot/index.php
+++ b/wwwroot/index.php
@@ -50,7 +50,6 @@ try {
                fixContext();
                if (!permitted())
                {
                fixContext();
                if (!permitted())
                {

-                       require_once 'inc/interface.php';

                        renderAccessDenied (FALSE);
                        break;
                }
                        renderAccessDenied (FALSE);
                        break;
                }