Changer le logo de MediaWiki : Différence entre versions
De Vulgum Techus
(Page créée avec « == Procédure == *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 log... ») |
m (Admin2 a déplacé la page Changer le logo de Mediawiki vers Changer le logo de MediaWiki) |
||
| (5 révisions intermédiaires par un utilisateur sont masquées) | |||
| Ligne 1 : | Ligne 1 : | ||
| − | == | + | == Problème traité == |
| + | |||
*Changer le logo de Mediawiki | *Changer le logo de Mediawiki | ||
*Changer l'emplacement du logo de Mediawiki | *Changer l'emplacement du logo de Mediawiki | ||
| Ligne 6 : | 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 22 : | 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 à 16: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
