Updated mediawiki/extensions
Project: mediawiki/extensions/Translate  0242c0515ef4598b1231d3de5904d4470e6589b4

Add type hint

Change-Id: I3b23f8c90f3ea8447ed9eec4777ce1a65d3a4806