Updated mediawiki/extensions
Project: mediawiki/extensions/Thanks  ccd38349bc4760303ae4cdef24b0a91b78a45601

Update PHPDoc

Change-Id: I920aa1875548120efa2c670e4290ba2d4a004878