Changer le logo de MediaWiki : Différence entre versions
De Vulgum Techus
m (Admin2 a déplacé la page Changer le logo de Mediawiki vers Changer le logo de MediaWiki) |
|||
| (4 révisions intermédiaires par un utilisateur sont masquées) | |||
| 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 : | ||
| − | + | #/ 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 | 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 | ||
| Ligne 23 : | Ligne 25 : | ||
Il est bien évidemment permis de recourir à un autre répertoire pour stocker le nouveau logo. Il faudra modifier $wgLogo en conséquence. | Il est bien évidemment permis de recourir à un autre répertoire pour stocker le nouveau logo. Il faudra modifier $wgLogo en conséquence. | ||
| + | |||
| + | == Caractéristique du logo == | ||
| + | *Taille : 135 x 135 pixels | ||
| + | *Format : png, jpeg, gif | ||
| + | *Résolution : 72 dpi | ||
Version actuelle en date du 25 décembre 2012 à 15:57
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.
Caractéristique du logo
- Taille : 135 x 135 pixels
- Format : png, jpeg, gif
- Résolution : 72 dpi
