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