Updated mediawiki/extensions
Project: mediawiki/extensions/Translate  00d80f74353a0f5e6bae7896fb016ac5125537d3

Preventing duplicate appearance of elements with translations

A comprehensive follow-up to
I327868b8e605c0045fabd6a5882e2de4ca156e31

Includes tests.

Change-Id: I2c35f3bdd5c3f684623f6ac5bd5420af06279cd6