wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-05 14:12:53 +00:00
Code Issues Packages Projects Releases Wiki Activity
5279 commits 160 branches 1 tag 189 MiB
Commit graph

2 commits

Author SHA1 Message Date
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
Ed Sanders 671c7d3b25 Create base MWExtensionNode for simple extension support 
MWMath and other simple extensions all behave in a similar way, e.g.
<tagname>Foreign syntax</tagname>.

This creates a base class that should make supporting such extensions,
and editing their contents in a plain text box, very simple.

Change-Id: Icc0acb33fe32704f71dacb552d9dfa3142eaef2b
 2013-08-07 17:39:31 +08:00