Updated mediawiki/extensions
Project: mediawiki/extensions/Translate  c712583c6e0a48a663b390e04efd64a62e107aff

Use more precise description for ShareLaTeX (followup 132693 / fdf994ad9)

Change-Id: I2ac1a55400d0d4881af0fcaa16cae4a0d58441ca