Updated mediawiki/extensions
Project: mediawiki/extensions/SemanticMediaWiki  98403720e66c71408e5806263e0e72b33b622938

Get rid of pointless verbose GPL headers

Change-Id: I1bc5e55cf80a6ca4cae1699c03af3b39e80b868f