wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-11-24 07:54:13 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "SpecialHelpMenuWidget: Use ButtonMenuSelectWidget"

Browse source
This commit is contained in:
jenkins-bot 2020-05-06 17:18:17 +00:00 committed by Gerrit Code Review
parent c4faa9a99d 04100d4083
commit 127c8a1396
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();
};
/**