if (is_array($EXT_CSS_FILES)) {
// Load extension's CSS files
foreach ($EXT_CSS_FILES as $value) $STYLES[] = $value;
- }
-
- // Create missing configuration file
- if (!function_exists('GET_CURR_THEME')) {
- // Dummy for e.g. down database links
- function GET_CURR_THEME () {
- return "default";
- }
} // END - if
// Output inclusion lines