Updated mediawiki/extensions
Project: mediawiki/extensions/Diff  5041adfd502f13d29072c3a4f34e0f5b8aec655c
null
Use DiffOp rather then IDiffOp

Change-Id: Ic115d2e9e61446ab78c739ae7e32b1b9c6014e42