wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-15 02:23:58 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve-mw/ui
History
Alex Monk 237d68f6db Offer to retain changes when switching to the wikitext editor 
Bug: 57462
Change-Id: I4e57f9dff4479531e7c715966bdad2cabb97ca8c
2014-06-27 22:31:07 +01:00
..
dialogs Offer to retain changes when switching to the wikitext editor 2014-06-27 22:31:07 +01:00
inspectors Remove Hiero extension code from VisualEditor extension 2014-06-23 09:18:42 +02:00
pages Use registered target, instead of ve.init.Target 2014-06-17 20:41:01 +01:00
styles Remove Hiero extension code from VisualEditor extension 2014-06-23 09:18:42 +02:00
themes Hide unsupported UI elements in references on mobile 2014-05-21 16:18:08 -07:00
tools Remove Hiero extension code from VisualEditor extension 2014-06-23 09:18:42 +02:00
widgets Merge "Use registered target, instead of ve.init.Target" 2014-06-18 01:45:01 +00:00
ve.ui.MWCommandRegistry.js Remove Hiero extension code from VisualEditor extension 2014-06-23 09:18:42 +02:00