Updated mediawiki/extensions
Project: mediawiki/extensions/Push  8bc5b88008f1be7d1f0d012b616690066a0e1b10

Simplify right-* messages

Change-Id: I0d9e509560ad9c9d26b5dfef05fa96e7d804eca0