Updated mediawiki/extensions
Project: mediawiki/extensions/Less  08738dd11566c14255c515a05e398488962f7834

Migrate to JSON i18n

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

Change-Id: I02034d97003cb8b5a0e792c46d24585b8c09674e