Header Tabs (MediaWiki)
De Wicri Base 1.28
Révision datée du 9 décembre 2020 à 14:36 par imported>Jacques Ducloy (→Voir aussi)
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
