Difference between revisions of "Header Tabs"
Jump to navigation
Jump to search
(pushed from media by wikipush) |
(No difference)
|
Latest revision as of 17:56, 24 November 2020
Extension
| 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 |