Updated mediawiki/extensions
Project: mediawiki/extensions/ContentTranslation  1df620aeedd5d2bbd0842d8ac94306c05a2c3ea2

Documentation and slight refactoring in translation.progress.js

Change-Id: Ie05221c82d940ade390f31f2f9ca9e04f04d7d1a