mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Math
synced 2024-11-28 09:20:42 +00:00
fcf045f832
Moved from the VisualEditor extension, where it was removed in Iab0c56246626de1e0f Change-Id: I8e582ee6deadc2750d30b49f0c6de31ed9c16a50
184 lines
6 KiB
XML
184 lines
6 KiB
XML