Updated mediawiki/extensions
Project: mediawiki/extensions/Diff  83bfc69a7e30fc3d2549b49ea7390169811afd99

0.9 release

Change-Id: I68a79408b7a88eedb40291fd3a50cb36d25e7a65