Updated mediawiki/extensions
Project: mediawiki/extensions/HeaderTabs  a0bb4f2b6b90d6cff3b207f3b51af6c12c18ead4

Small formatting improvements

Change-Id: I6b10b6ce969948a6850f1658233adf7efba3b3ae