Updated mediawiki/extensions
Project: mediawiki/extensions/HeaderTabs  1002ebd5f981f83b74bcb18c42d1ca3a1dddac33

Version 1.0

Change-Id: I1a07388f0e82e896a5265d1cb11cc51e694125ac