Updated mediawiki/extensions
Project: mediawiki/extensions/HeaderTabs  d56b8c5ab464ca07ba39581e426b866a096003ae

Removing support for YUI JS library, and thus for MW 1.16

Change-Id: Ib4f3ffd380424252636f42d47ecb594aad8063a5