wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-15 18:39:52 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve-mw/init/targets
History
Ed Sanders 109a136bd6 Use pencil icon for editor switcher dropdown 
Pencil is the icon we use for 'edit' elsewhere in the UI.
Use the eye icon for the VE tool to specify 'visual'.

Bug: T116417
Change-Id: I12b6bab2a52758685abde04579b274a32d651174
2017-02-28 22:59:51 +00:00
..
ve.init.mw.DesktopArticleTarget.init.js Use pencil icon for editor switcher dropdown 2017-02-28 22:59:51 +00:00
ve.init.mw.DesktopArticleTarget.js Use pencil icon for editor switcher dropdown 2017-02-28 22:59:51 +00:00
ve.init.mw.MobileArticleTarget.js Use pencil icon for editor switcher dropdown 2017-02-28 22:59:51 +00:00