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

Replace deprecated 'advanced' by renamed to 'settings' icon

Browse source 
Bug: T190581
Change-Id: I63f3252464cd6098e89ff49d0e9881440c6679f8
This commit is contained in:
Volker E 2018-09-07 19:54:20 -07:00
parent 087a41faaf
commit 8423a7ce53
2 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
modules/ui/mw.echo.ui.NotificationBadgeWidget.js
View file

@ -91,7 +91,7 @@
} );
preferencesButton = new OO.ui.ButtonWidget( {
icon: 'advanced',
icon: 'settings',
label: mw.msg( 'mypreferences' ),
href: links.preferences,
classes: [ 'mw-echo-ui-notificationBadgeButtonPopupWidget-footer-preferences' ]

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

@ -27,7 +27,7 @@
this.$handle.empty().attr( 'class', '' );
handle = new OO.ui.ButtonWidget( {
$element: this.$handle,
icon: 'advanced',
icon: 'settings',
indicator: 'down'
} );
this.$element.append( handle.$element );
@ -48,7 +48,7 @@
new OO.ui.MenuOptionWidget( {
// Use link for accessibility
$element: $( '<a>' ).attr( 'href', config.prefLink ),
icon: 'advanced',
icon: 'settings',
label: mw.msg( 'mypreferences' ),
data: { href: config.prefLink }
} )