Updated mediawiki/extensions
Project: mediawiki/extensions/ContentTranslation  a2ddbf24fce8998797d5685925586829725ac506

Adjust header styling on the dashboard

This patchset makes the header to be consistent with the style used in
the Translation view: white and with a line below (which is actually
the border-top of the element below since user controls are not actually
wrapped by the header element)

Change-Id: I0b7a3986530ded0449a01fac249f5959be350a99