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 |
||
(3 révisions intermédiaires par le même utilisateur non affichées) | |||
Ligne 1 : | Ligne 1 : | ||
− | * | + | L'extension '''''Header Tabs''''' construit une liste d'onglet à partir des headers d'une page MediaWiki. |
+ | ==Exemples d'emploi== | ||
+ | * les pages « Trésor de la langue française/Liste des articles » | ||
+ | ** voir par exemple sur [[wic-linguistique.fr: Trésor de la langue française/Liste des articles|Wicri/Linguistique]]. | ||
+ | ==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 11 : | ||
require_once "$IP/extensions/HeaderTabs/HeaderTabs.php"; | require_once "$IP/extensions/HeaderTabs/HeaderTabs.php"; | ||
</source> | </source> | ||
− | [[Catégorie: | + | ==Voir aussi== |
+ | {{Wicri voir|référence=Outils}} | ||
+ | ;Liens externes: | ||
+ | * https://www.mediawiki.org/wiki/Extension:Header_Tabs | ||
+ | [[Catégorie:Extensions MediaWiki]] |
Version actuelle datée du 9 décembre 2020 à 14:41
L'extension Header Tabs construit une liste d'onglet à partir des headers d'une page MediaWiki.
Exemples d'emploi
- les pages « Trésor de la langue française/Liste des articles »
- voir par exemple sur Wicri/Linguistique.
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