wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-09-23 10:22:05 +00:00
Code Issues Packages Projects Releases Wiki Activity

SpecialHelpMenuWidget: Use ButtonMenuSelectWidget

Browse source 
Bug: T178387
Change-Id: I521aa3749e1009e5bb028ee1359f732f21226689
This commit is contained in:
Ed Sanders 2020-04-15 11:59:49 +01:00 committed by Jforrester
parent 4ff2b21819
commit 04100d4083
1 changed files with 2 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
modules/ui/mw.echo.ui.SpecialHelpMenuWidget.js
View file

@ -55,7 +55,7 @@
/* Initialization */
OO.inheritClass( mw.echo.ui.SpecialHelpMenuWidget, OO.ui.DropdownWidget );
OO.inheritClass( mw.echo.ui.SpecialHelpMenuWidget, OO.ui.ButtonMenuSelectWidget );
/* Events */
@ -72,7 +72,6 @@
*/
mw.echo.ui.SpecialHelpMenuWidget.prototype.onSourcePageUpdate = function () {
this.markAllReadOption.setLabel( this.getMarkAllReadOptionLabel() );
};
/**
@ -85,7 +84,7 @@
};
/**
* Handle dropdown menu choose events
* Handle menu choose events
*
* @param {OO.ui.MenuOptionWidget} item Chosen item
*/
@ -105,8 +104,6 @@
);
this.emit( 'markAllRead' );
}
// Clear selection so handle doesn't change
this.menu.selectItem();
};
/**