Updated mediawiki/extensions
Project: mediawiki/extensions/Diff  2fa8715dd78009d9afaf09e63f216c3bd3d2aca5

0.8 release

Change-Id: I1291c68e814f02cd4e70308a726a35f7a359427e