Spotted by Siebrand https://translatewiki.net/wiki/Thread:Support/About_MediaWiki:Math_notexvccheck/en While I am on it: Always use https for mediawiki.org Change-Id: I227540a4cc5529c9db44dbbfda617f9b81db7274
Procedure per https://www.mediawiki.org/wiki/Manual:GenerateJsonI18n.php with shim. Change-Id: Ifcaf0e8516cd92587fc5e51a580a53f4158cdb6e