Updated mediawiki/extensions
Project: mediawiki/extensions/SocialProfile  cd2c3500f5416aadc26bfa35c6eed093213ee7d5

Migrate to JSON i18n

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

Change-Id: I7fd31fbecf19d1257facdea12ceae23713207d3a
Updated mediawiki/extensions
Project: mediawiki/extensions/WikiLexicalData  a3ed4e35d11ff044f15cce1fc66c91e16abbef42

Introduce ow_add_definition function to API.

patch 3 & 4: corrections and bug fixes. For further testing. ~ he

patch 5: rebase

Change-Id: Ic4aa6546c74adc5c6f9c3ea2904cb5476f56ef88