Updated mediawiki/extensions
Project: mediawiki/extensions/ContentTranslation  00148c1790c1d74f51df073a28de8c079c7a47c3

Make the tools pane sticky while scrolling

Change-Id: I91493abe944581d897f27a35c28ede1d559f98bf