Updated mediawiki/extensions
Project: mediawiki/extensions/BayesianFilter  86066fd5e4ddd68fe35bf3d05073910bd3f933e0

Migrate to JSON i18n

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

Change-Id: Ia18b5d1d98f237bde024cf16ce22cbf146c10815