Updated mediawiki/extensions
Project: mediawiki/extensions/Diff  7960e0d71598aab62687888a10e329789034fa4e

0.7 release

Change-Id: Ied97110e39329d4e9fa971c518db0b371fe9a49f