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
History
jenkins-bot b777ff74e3 Merge "Offer the typed text as a link suggestion if the page is valid"
2013-09-04 00:32:30 +00:00
..
dialogs Make tools generic and add fancy tool groups 2013-09-03 11:27:39 -07:00
inspectors Make tools generic and add fancy tool groups 2013-09-03 11:27:39 -07:00
styles Make tools generic and add fancy tool groups 2013-09-03 11:27:39 -07:00
tools Add keyboard shortcuts for formatting tools 2013-09-03 17:17:03 -07:00
widgets Merge "Offer the typed text as a link suggestion if the page is valid" 2013-09-04 00:32:30 +00:00
ve.ui.MWDialog.js Transplant CSS from the main document to each iframe 2013-07-09 16:13:28 -07:00