Updated mediawiki/extensions
Project: mediawiki/extensions/Agora  cefa2b158d5a6cac1c73a10bbc13e74ebfe08308

Improve header comment in Agora source and output files.

Change-Id: Ie9147f818e87747d22da4b8f1d65c6092be97ca0