Updated mediawiki/extensions
Project: mediawiki/extensions/ContentTranslation  0872595eebec962b89dbc1e8f0191a4be9523f9e

Add documentation and cleanup whitespace in ext.cx.tools.dictionary.js

Change-Id: I69cf8c6eaf0a495a1e873ae2808373b3b25baf84