Updated mediawiki/extensions
Project: mediawiki/extensions/Thanks  86e031bcddcd7cf8af1385569cdc391435dd9ca9

Fix phpdoc comment

Change-Id: I38fdc9826cb78a08c8d04c8dc172509c6d11440b