- 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";
- }
- }