Header Tabs (MediaWiki) : Différence entre versions
De Wicri Base 1.28
imported>Jacques Ducloy |
imported>Jacques Ducloy (→Voir aussi) |
||
Ligne 9 : | Ligne 9 : | ||
</source> | </source> | ||
==Voir aussi== | ==Voir aussi== | ||
+ | {{Wicri voir|référence=Outils}} | ||
;Liens externes: | ;Liens externes: | ||
* https://www.mediawiki.org/wiki/Extension:Header_Tabs | * https://www.mediawiki.org/wiki/Extension:Header_Tabs | ||
[[Catégorie:Extensions MediaWiki]] | [[Catégorie:Extensions MediaWiki]] |
Version du 9 décembre 2020 à 14:36
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
- Dans le réseau Wicri :
La page de référence « Header Tabs (MediaWiki) » est sur le wiki Wicri/Outils.
- Liens externes