Similar repositories to wikimedia/mediawiki-extensions-HeaderTabs: