Updated mediawiki/extensions
Project: mediawiki/extensions/GeoGebra  13e9890e635b2cd9b32b40fdd5f0cf65b1ee0e76

Migrate to JSON i18n

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

Change-Id: Id052e204da8d17543e209e871df0d5bc0fba6291