Updated mediawiki/extensions
Project: mediawiki/extensions/ContentTranslation  c54b7f1f50b6bedf6a31f1c5b3f5789317b52ca6

UI for the translation tools column

Adds the initial instructions and a search box in the translation tools column

Change-Id: I092b6d7f90dff3af79b5a84be038931d9d1be53b