wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-09-25 19:26:46 +00:00
Code Issues Packages Projects Releases Wiki Activity

Replace 'settings' by renamed 'pageSettings' icon

Browse source 
Bug: T190581
Change-Id: Ie0307ebc16d516463302773ef4226f2ba2dbd16c
This commit is contained in:
Volker E 2018-08-16 16:58:54 -07:00
parent 93aa72da9a
commit 07f58084cd
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
modules/ve-mw/ui/pages/ve.ui.MWSettingsPage.js
View file

@ -31,7 +31,7 @@ ve.ui.MWSettingsPage = function VeUiMWSettingsPage( name, config ) {
this.settingsFieldset = new OO.ui.FieldsetLayout( {
label: ve.msg( 'visualeditor-dialog-meta-settings-label' ),
icon: 'settings'
icon: 'pageSettings'
} );
// Initialization