Changer le logo de MediaWiki : Différence entre versions
De Vulgum Techus
(→Procédure) |
(→Procédure) |
||
| Ligne 7 : | Ligne 7 : | ||
== Procédure == | == Procédure == | ||
| − | Le logo par défaut est le fichier wiki.png situé dans le répertoire /common/images/ | + | Le logo par défaut est le fichier wiki.png situé dans le répertoire ../skins/common/images/ |
Trois méthodes pour changer le logo par défaut : | Trois méthodes pour changer le logo par défaut : | ||
| Ligne 17 : | Ligne 17 : | ||
Par défaut | Par défaut | ||
$wgLogo = "$wgStylePath/common/images/wiki.png"; | $wgLogo = "$wgStylePath/common/images/wiki.png"; | ||
| + | |||
| + | où $wgStylePath est le répertoire des skins (généralement skins tout simplement) | ||
dans le cas d'une image intitulée mon-logo.jpg | dans le cas d'une image intitulée mon-logo.jpg | ||
Version du 7 décembre 2012 à 15:30
Problème traité
- Changer le logo de Mediawiki
- Changer l'emplacement du logo de Mediawiki
- Changer le logo et l'emplacement du logo de Mediawiki
Procédure
Le logo par défaut est le fichier wiki.png situé dans le répertoire ../skins/common/images/
Trois méthodes pour changer le logo par défaut :
- / remplacer le wiki.png de base
- / mettre une autre image et changer la valeur $wgLogo situé dans LocalSetting.php situé à la racine du site.
- / faire 1 et 2
Par défaut $wgLogo = "$wgStylePath/common/images/wiki.png";
où $wgStylePath est le répertoire des skins (généralement skins tout simplement)
dans le cas d'une image intitulée mon-logo.jpg
$wgLogo = "$wgStylePath/common/images/mon-logo.jpg";
Il est bien évidemment permis de recourir à un autre répertoire pour stocker le nouveau logo. Il faudra modifier $wgLogo en conséquence.
