wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-17 11:23:03 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve-mw/ui/styles
History
jenkins-bot 966e46ac80 Merge "Fix the image sizes in ve.ui.MWInternalLinkContextItem"
2018-03-23 05:36:51 +00:00
..
apex Use OOUI 'markup' icon instead of local 'alienextension' 2018-03-20 17:27:54 +00:00
contextitems Fix the image sizes in ve.ui.MWInternalLinkContextItem 2018-03-22 17:03:19 +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 Fix layout of media info fields 2018-03-22 22:15:52 +00: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