Updated mediawiki/extensions
Project: mediawiki/extensions/HeaderTabs  ac731f2a5ba0ab40b48c28e19ad1f13d19fbfe44

New version: 0.9.3

Change-Id: I773f1c76977cf132b2c15edc5908ac9f235debe6