diff options
Diffstat (limited to 'boot.php')
-rwxr-xr-x | boot.php | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -728,6 +728,11 @@ class App { private static $perms = null; // observer permissions private static $widgets = array(); // widgets for this page public static $config = array(); // config cache + public static $override_intltext_templates = array(); + public static $override_markup_templates = array(); + public static $override_templateroot = null; + public static $override_helproot = null; + public static $override_helpfiles = array(); public static $session = null; public static $groups; |