Updated mediawiki/extensions
Project: mediawiki/extensions/OnlineStatus  c67e5de922b8ff0aee0388dbecfa78ed7dc88555

Migrate to JSON i18n

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

Change-Id: Ie91ab5710c2711113b50c1ff8253345eef848c2e