Updated mediawiki/extensions
Project: mediawiki/extensions/ContentTranslation  73a0d937be99d02bfe7867da068309ddfd0c94cc

Explore links

* Double tools card for links in source and target language

Change-Id: I1bd10d9765b81cdc8bd7e39e87ad258d20b68266