Header Tabs (MediaWiki)
De Wicri Base 1.28
Révision datée du 1 mars 2018 à 18:16 par imported>Jacques Ducloy
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