Updated mediawiki/extensions
Project: mediawiki/extensions/Translate  d51f9fa8799bfa468d52d784ec02f4a6c02516b6
null
Update/fix docs and type hints

Also remove a few superfluous newlines.

Change-Id: Ib02cb183a1e2f5f18e61fe4038dcb76f7a665f4e