mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Math
synced 2024-11-29 09:54:58 +00:00
fcf045f832
Moved from the VisualEditor extension, where it was removed in Iab0c56246626de1e0f Change-Id: I8e582ee6deadc2750d30b49f0c6de31ed9c16a50 |
||
---|---|---|
.. | ||
ve.ce.MWMathNode.css | ||
ve.ce.MWMathNode.js | ||
ve.dm.MWMathNode.js | ||
ve.ui.MWMathInspector.js | ||
ve.ui.MWMathInspectorTool.js |