Updated mediawiki/extensions
Project: mediawiki/extensions/Diff  ccbc3fdccf9b00cf8c0be057a48c54e8efa320cf

Remove verbose GPL headers

Change-Id: I4024aae811e7719e01e2e5012c70591ebb554c8c