- // Core default themes
- $themes = array( 'default' => 'mediawiki' );
- $themes += ExtensionRegistry::getInstance()->getAttribute( 'SkinOOUIThemes' );
- $modules = array();
+ $themes = ExtensionRegistry::getInstance()->getAttribute( 'SkinOOUIThemes' );
+ // We only use the theme names for file names, and they are lowercase
+ $themes = array_map( 'strtolower', $themes );
+ $themes['default'] = 'mediawiki';