mediawiki-extensions-Math/modules/ext.math.editbutton.js