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... ») |
(Aucune différence)
|
Version du 1 mars 2018 à 17:13
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";
