Updated mediawiki/extensions
Project: mediawiki/extensions/Diff  236ae414dca779fd460ccee5c25b8f31c6b780f3

Got rid of DiffOpTestDummy

According to PHPUnit this was the biggest piece of CRAP with
a risk score of 72, bigger then anything else in Diff :)

Change-Id: I2b2d45f96e8fab03de92c269e526cd628168a4e3