Updated mediawiki/extensions
Project: mediawiki/extensions/ContentTranslation  fff26df975180e59ea113865896a1817ba8a8258

Cleanup ext.cx.tools.manager.js

Change-Id: Ib71d599371dd1982353b7e43d4e6c39e685a3d2c