Updated mediawiki/extensions
Project: mediawiki/extensions/Translate  7a279b4fff586e029718400da80bae94271e8b5f

Update PHPDoc

Change-Id: I89407c090d60e929d58e32acd764b062269018f4