Updated mediawiki/extensions
Project: mediawiki/extensions/Echo  d139b75020cf825fdfa75b04d1b57e9cdc2b0e03

Fix phpdoc comments

Change-Id: I2f22838aa6c2c46fbd570b01c2fb118cd8c58790