Updated mediawiki/extensions
Project: mediawiki/extensions/HeaderTabs  5c2dfe977ba2d99c39d0af9b281f5f2dfe34adc3

Fix for editsection HTML/CSS change in MW 1.22

Change-Id: I9d5bf9fedfc5056314413d1703f580184b1ff253