Header Tabs (MediaWiki) : Différence entre versions
De Wicri Base 1.28
imported>Jacques Ducloy (Page créée avec « * https://www.mediawiki.org/wiki/Extension:Header_Tabs <source lang="sh"> cp -r /applis/lorexplor/www/html/MediaWiki/V1.28/mediawiki-1.28.1/extensions/HeaderTabs extension... ») |
imported>Jacques Ducloy |
||
Ligne 1 : | Ligne 1 : | ||
− | + | The Header Tabs extension transforms top-level MediaWiki headers into tabs using the jQuery UI JavaScript library. | |
+ | ==Installation== | ||
<source lang="sh"> | <source lang="sh"> | ||
cp -r /applis/lorexplor/www/html/MediaWiki/V1.28/mediawiki-1.28.1/extensions/HeaderTabs extensions/. | cp -r /applis/lorexplor/www/html/MediaWiki/V1.28/mediawiki-1.28.1/extensions/HeaderTabs extensions/. | ||
Ligne 7 : | Ligne 8 : | ||
require_once "$IP/extensions/HeaderTabs/HeaderTabs.php"; | require_once "$IP/extensions/HeaderTabs/HeaderTabs.php"; | ||
</source> | </source> | ||
+ | ==Voir aussi== | ||
+ | ;Liens externes: | ||
+ | * https://www.mediawiki.org/wiki/Extension:Header_Tabs | ||
[[Catégorie:Extension MediaWiki]] | [[Catégorie:Extension MediaWiki]] |
Version du 1 mars 2018 à 18:16
The Header Tabs extension transforms top-level MediaWiki headers into tabs using the jQuery UI JavaScript library.
Installation
cp -r /applis/lorexplor/www/html/MediaWiki/V1.28/mediawiki-1.28.1/extensions/HeaderTabs extensions/.
Dans LocalSettings.php
require_once "$IP/extensions/HeaderTabs/HeaderTabs.php";
Voir aussi
- Liens externes