public function getDefaultModules() {
$modules = parent::getDefaultModules();
$modules['styles']['skin'][] = 'mediawiki.skinning.interface';
public function getDefaultModules() {
$modules = parent::getDefaultModules();
$modules['styles']['skin'][] = 'mediawiki.skinning.interface';