Updated mediawiki/extensions
Project: mediawiki/extensions/WikimediaMessages  a51394c41e16208ee41291c10d68734d4a31b438

Kill WikimediaLabsMessages

Gerrit tools extension has been nuked, so these are even more useless

Change-Id: I0269eb42fae8a53eaf5d1239dbd33199aa0ff8f0