Updated mediawiki/extensions
Project: mediawiki/extensions/Diff  88bae2e16fc4f0ea065365ba6246eb504e1a9e70

Added @var doc

Change-Id: I5bdafd34f8bd4adccdd1ef2d428d54c96b18d9e5