Updated mediawiki/extensions
Project: mediawiki/extensions/ContentTranslation  ce6e98c6b25acb8dfa5f1a097694ea1f4d9beb7a

Provide a better default value for wgContentTranslationServerURL

Change-Id: Ia33ca4983b4a3bb551882e10c3e12a18eac4bcf2