Modification Logo MediaWiki : Différence entre versions
De EjnTricks
(Page créée avec « L'application présente un logo, dans le coin supéreur gauche avec le thème par défaut, de l'application. Cet article présente une configuration pour modifier l'image... ») |
(Aucune différence)
|
Version actuelle en date du 1 août 2018 à 13:50
L'application présente un logo, dans le coin supéreur gauche avec le thème par défaut, de l'application. Cet article présente une configuration pour modifier l'image utilisée.
Votre avis
| Nobody voted on this yet
|
|
Configuration
La configuration s'effectue dans le fichier LocalSettings.php de l'instance à l'aide de la variable $wgLogo. Il suffit de spécifier l'URL d'accès à l'image.
Dans le cas d'un fichier internet-icon.png, placé dans le répertoire /var/lib/mediawiki/extensions/skin, la configuration est la suivante.
$wgLogo = "$wgScriptPath/extensions/skins/internet-icon.png";A remarquer l'utilisation de $wgScriptPath permettant de mettre la racine du site.
Voir aussi
Documentation officielle: https://www.mediawiki.org/wiki/Manual:$wgLogo
