Extension | |
---|---|
edit | |
name | Header Tabs |
url | https://www.mediawiki.org/wiki/Extension:Header_Tabs |
purpose | The Header Tabs extension transforms top-level MediaWiki headers into tabs using the jQuery UI JavaScript library. |
since | 2008/03/20 |
wiki | Crwiki, Rqwiki, Ceur-wsWiki |