require($INC);
} elseif (!EXT_IS_ACTIVE('theme')) {
addFatalMessage(__FILE__, __LINE__, getMessage('EXTENSION_PROBLEM_EXT_INACTIVE'), 'theme');
require($INC);
} elseif (!EXT_IS_ACTIVE('theme')) {
addFatalMessage(__FILE__, __LINE__, getMessage('EXTENSION_PROBLEM_EXT_INACTIVE'), 'theme');