Updated mediawiki/extensions
Project: mediawiki/extensions/Diff  be5df4fcefd19bbf07adc0712b1299753328ca1f

Fixed since tag

Change-Id: I28801efaa30b105d962388b29f5e532c9760105c