wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-15 10:35:48 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve-mw/ui/styles
History
Bartosz Dziewoński d80099dad1 Update icons for new 20px grid 
Set viewBox to "2 2 20 20" to trim 2px off each side of our
existing 24px icons, therefore aligning them to the new 20px
grid. All of them had been drawn with large margins, so none
of the graphic is lost.

Bug: T177432
Bug: T190151
Change-Id: I23a6daa5dc2d4a9afc50f275da5df370d2319277
2018-03-20 20:03:11 +00:00
..
apex Use OOUI 'markup' icon instead of local 'alienextension' 2018-03-20 17:27:54 +00:00
contextitems doc: Bump copyright year 2018-01-03 17:45:07 +00:00
dialogs Restrict width of diff feedback button mobile 2018-03-14 14:32:37 +00:00
elements doc: Bump copyright year 2018-01-03 17:45:07 +00:00
images/icons Update icons for new 20px grid 2018-03-20 20:03:11 +00:00
inspectors doc: Bump copyright year 2018-01-03 17:45:07 +00:00
pages doc: Bump copyright year 2018-01-03 17:45:07 +00:00
tools doc: Bump copyright year 2018-01-03 17:45:07 +00:00
widgets Remove unnecessary and low-contrast opacity 2018-01-29 23:51:08 -08:00
wikimediaui Use OOUI 'markup' icon instead of local 'alienextension' 2018-03-20 17:27:54 +00:00
ve.ui.MWWikitextSurface.css Merge "doc: Bump copyright year" 2018-01-03 19:20:07 +00:00