wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-16 10:59:56 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve-mw/ui/styles
History
jenkins-bot ee6c0fb892 Merge "Use new MediaWiki core TitleInputWidget"
2015-06-25 00:23:44 +00:00
..
contextitems
dialogs Merge "Use new MediaWiki core TitleInputWidget" 2015-06-25 00:23:44 +00:00
images/icons Show different icons for different result types 2015-04-29 17:51:34 +01:00
inspectors Use new TabSelectWidget in link inspector 2015-05-08 09:03:24 +00:00
pages
tools Fix line height inside notice/help popups 2015-04-30 14:02:36 +01:00
widgets Use new MediaWiki core TitleInputWidget 2015-06-24 17:06:00 -07:00
ve.ui.Icons.css Show different icons for different result types 2015-04-29 17:51:34 +01:00