More extension-depending menus secured

[mailer.git] / inc / modules / guest / action-themes.php

diff --git a/inc/modules/guest/action-themes.php b/inc/modules/guest/action-themes.php
index a94178bff6de0558980a3eda966549abe7416564..522158d0abdc066b42138bcbd9ceb569fea2610c 100644 (file)
--- a/inc/modules/guest/action-themes.php
+++ b/inc/modules/guest/action-themes.php
@@ -35,6 +35,9 @@
 if (!defined('__SECURITY')) {
        $INC = substr(dirname(__FILE__), 0, strpos(dirname(__FILE__), "/inc") + 4) . "/security.php";
        require($INC);
+} elseif (!EXT_IS_ACTIVE("theme")) {
+       ADD_FATAL(EXTENSION_PROBLEM_EXT_INACTIVE, "theme");
+       return;
 }
 
 // Already loaded?