Updated mediawiki/extensions
Project: mediawiki/extensions/ContentTranslation  c2fa32efb659b33b7fefef525f88568f1815ebd3

Header: Simplify the class, merge the separate header.render file

Header plugin is in manageable size and it does not make sense to split
to two files.

Change-Id: I63b47a8eb2fde5b820b1f41758d7dc58ca413ad8