Updated mediawiki/extensions
Project: mediawiki/extensions/ContentTranslation  b3cf73e6bbe43b1a774bfb25ec2bf512a7be836b

Make the tools panel responsive

On small screens, the tools panel is shown at the bottom.

Change-Id: I70b7238993f9017a79915e50a344d11c92d27969