mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools
synced 2024-11-15 03:44:02 +00:00
13 lines
326 B
JavaScript
13 lines
326 B
JavaScript
|
function ModeTabOptionWidget() {
|
||
|
|
// Parent constructor
|
||
|
|
ModeTabOptionWidget.super.apply( this, arguments );
|
||
|
|
|
||
|
|
this.$element.addClass( 'ext-discussiontools-ui-modeTab' );
|
||
|
|
}
|
||
|
|
|
||
|
|
OO.inheritClass( ModeTabOptionWidget, OO.ui.TabOptionWidget );
|
||
|
|
|
||
|
|
ModeTabOptionWidget.static.highlightable = true;
|
||
|
|
|
||
|
|
module.exports = ModeTabOptionWidget;
|