Updated mediawiki/extensions
Project: mediawiki/extensions/Translate  7602e4ffbe8c778c9ed34548a6f16db99eb91071
null
Translation aids API module and props

All translation helpers added to the API
Note: old code still remains in utils/TranslationHelpers.php,
it will be cleaned up later.

Change-Id: I8619a38cf63c4289b891e8c48c5265870d16849f