Header Tabs (MediaWiki) : Différence entre versions

De Wicri Base 1.28
imported>Jacques Ducloy
(Voir aussi)
imported>Jacques Ducloy
 
Ligne 1 : Ligne 1 :
The Header Tabs extension transforms top-level MediaWiki headers into tabs using the jQuery UI JavaScript library.  
+
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==
 
==Installation==
 
<source lang="sh">
 
<source lang="sh">

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 »

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