Updated mediawiki/extensions
Project: mediawiki/extensions/Math  ca3c5a58a264575eba218a4f8ccd40e4f71b9911

Consistency tweaks: Add <code> around executable name

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
Updated mediawiki/extensions
Project: mediawiki/extensions/PageLanguage  09c58a80f735ffbfb3ba2ddea3d715b0062d18df

Migrate to JSON i18n

Procedure per https://www.mediawiki.org/wiki/Manual:GenerateJsonI18n.php
with shim.

Change-Id: I3bad74c8d0df4a01124fb92fca4ab3f84ea30f8e