Updated mediawiki/extensions
Project: mediawiki/extensions/ContentTranslation  aaad8353302e8ccfc5dbc5582156f78a52f2f613

Add minimal GUI editor for the translations

* Editor based on medium-editor:
  https://github.com/daviferreira/medium-editor
* Medium editor release is: 1.8.8
* Includes custom theme to match agora style.

Change-Id: I3494645b0d35341549d6f601ace6660c2e332458