wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-25 14:56:20 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve-mw/ui
History
Ed Sanders 840264e85d Remove Hiero extension code from VisualEditor extension 
It doesn't belong here.

To be added in the wikihiero extension in If55af2ad.

Change-Id: Id8b026ac07cfb31e4c25f81fb67f531448454ee0
2014-06-23 09:18:42 +02:00
..
dialogs Fix fragment after inserting an image node 2014-06-19 17:45:21 +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