$modules['watch'][] = 'mediawiki.page.watch.ajax';
}
- if ( !$user->getOption( 'disablesuggest', false ) ) {
- $modules['search'][] = 'mediawiki.searchSuggest';
- }
+ $modules['search'][] = 'mediawiki.searchSuggest';
}
}
return "$numeric $type $name";
}
+ /*
+ * Return values for <html> element
+ * @return array of associative name-to-value elements for <html> element
+ */
+ public function getHtmlElementAttributes() {
+ $lang = $this->getLanguage();
+ return array(
+ 'lang' => $lang->getHtmlCode(),
+ 'dir' => $lang->getDir(),
+ 'class' => 'client-nojs',
+ );
+ }
+
/**
* This will be called by OutputPage::headElement when it is creating the
* "<body>" tag, skins can override it if they have a need to add in any