wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-16 19:09:29 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve-mw/ui
History
Ed Sanders 6fb65ec3a1 Fix MWAlienExtensionNode's extensionName in ce update 
Create getter for extensionsName which is overriden by
MWAlienExtensionNode.

Also removed angle brackets around Alien title as the inspector
already has an angle bracket icon, and a '<' close button.

Change-Id: Ice8c5d73ed621f8e585b5f372788666f8c5aeb50
2013-08-15 10:40:58 +01:00
..
dialogs Allow more things to be inserted into captions 2013-08-02 18:55:53 +00:00
inspectors Fix MWAlienExtensionNode's extensionName in ce update 2013-08-15 10:40:58 +01:00
styles Alien extensions 2013-08-08 14:27:49 +08:00
tools Alien extensions 2013-08-08 14:27:49 +08:00
widgets Merge "Prevent the creation of invalid MWInternalLinks" 2013-08-14 21:58:27 +00:00
ve.ui.MWDialog.js Transplant CSS from the main document to each iframe 2013-07-09 16:13:28 -07:00