mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Math
synced 2024-11-13 17:56:59 +00:00
fcf045f832
Moved from the VisualEditor extension, where it was removed in Iab0c56246626de1e0f Change-Id: I8e582ee6deadc2750d30b49f0c6de31ed9c16a50
238 lines
7.9 KiB
XML
238 lines
7.9 KiB
XML
