DefaultSettings-modifications

Modifier DefaultSettings.php
"Réfléchir avant d'agir"
Page	DefaultSettings-modifications
Objet	Améliorer ses pages
Catégorie	Aide
Création	08/12/2018
Langage	wiki
Références
Rédaction	R. Birot
Correction	I. Birot
Langue	FR
Information	procédure testée
Facebook	cliquez ICI
Contact	Cliquez ICI

Attention

La modification du fichier DefaultSettings.php est délicate et n'est pas recommandée par MédiaWiki. Toute modification ne sera pas reportée en cas de mise à jour de version de MédiaWiki et devra être ré-adaptée.

Le fichier DefaultSettings

Voilà ce qu'en dit la page dédiée à ce fichier dans MédiaWiki :

DefaultSettings.php contient par défaut les paramètres de configuration. DefaultSettings.php ne doit pas être modifié car les modifications apportées à ce dernier seront perdues si MediaWiki est mis à jour. Les modifications devraient, plutôt, être apportées à LocalSettings.php.

Logo-lien de bas de page

en bas de chaque page d'un wiki apparait le logo de Médiawiki avec un lien vers leur site. Mettre votre propre logo/lien consiste à modifier la séquence correspondante dans le fichier DefaultSettings.php (testé) ou mieux, à l'ajouter dans "LocalSettings.php" (testé).
Attention, le fichier contenant le logo doit être en .png et dans la racine du wiki.S'il n'a pas la taille requise, elle est à ajouter dans les paramètres "height" et "width" de la séquence

Les paramètres

src Une url absolue vers l'image à utiliser pour l'icône; cela est recommandé mais non requis; cependant, certains habillages ignoreront des icônes sans image url L'url à utiliser dans le <a> autour du texte ou de l'icône, autour du texte ou de l'icône; s'il n'est pas mis, aucun <a> ne sera envoyé alt C'est la forme textuelle de l'icône, elle sera affichée sans image dans les habillages comme Modern ou si src n'est pas fixé, et sera sinon utilisé comme le alt="" de l'image. Cette clé est requise. width et height Si l'icône spécifiée par src n'est pas de la taille standard, vous pouvez spécifier la taille de l'image à utiliser avec ces clés. Sinon, elles seront par défaut au standard 88x31.

Séquence origine dans DefaultSettings (vers la ligne 3450)

Séquence modifiée pour RB Réalisations (dans LocalSettings ou DefaultSettings)

$wgFooterIcons = [ "copyright" => [ "copyright" => [], // placeholder for the built in copyright icon ], "poweredby" => [ "mediawiki" => [ // Defaults to point at // "$wgResourceBasePath/resources/assets/poweredby_mediawiki_88x31.png" // plus srcset for 1.5x, 2x resolution variants. "src" => null, "url" => "//www.mediawiki.org/", "alt" => "Powered by MediaWiki", ] ], ];

$wgFooterIcons = [ "copyright" => [ "copyright" => [], // placeholder for the built in copyright icon ], "poweredby" => [ "mediawiki" => [ // ********** Modifications par RB Realisations // Defaults to point at // "$wgResourceBasePath/resources/assets/poweredby_mediawiki_88x31.png" // plus srcset for 1.5x, 2x resolution variants. "src" => "https://wiki.rb-realisations.fr/FooterIcon_01M.png", "url" => "https://www.facebook.com/RBrealisations/", "alt" => "RB Réalisations Facebook", "height" => "47", "width" => "151", ] ], ];