Updated mediawiki/extensions
Project: mediawiki/extensions/Diff  6c9dd7dcf1de61702e04f67b356e79e88665e535

Add PHP coveralls to the TravisCI build

Change-Id: I2c498aa7833f2adcb8be981f22d5ed9bae8f0cc3