Manuel:Setup.php

This page is a translated version of the page Manual:Setup.php and the translation is 58% complete.

Outdated translations are marked like this.

Fichier MediaWiki : Setup.php

Emplacement :

includes/

Code source :

master • 1.45.3 • 1.44.5 • 1.43.8

Classes :

Accès au code • Accès à la documentation

Détails

Le fichier Setup.php est inclus dans WebStart.php , si la constante MW_NO_SETUP n'est pas définie. Il doit être inclus après LocalSettings.php .

Actions prises

Il réalise les fonctions suivantes:

# D'abord il modifie certains paramètres de configuration tels que les variables des chemins qui ne sont pas personnalisées dans LocalSettings.php de sorte qu'elles n'ont plus besoin d'être modifiées si $wgScriptPath est mis à jour, ou s'il modifie de nouveaux paramètres de configuration à partir des précédents compatibles.
# Ensuite il inclut quelques fichiers communs utilisés.
# Il ouvre la session PHP si le cookie de session ou celui du jeton de l'utilisateur son présents.
# Il crée les objets bouchons pour les variables d'objets globaux; ceux-ci seront remplacés au premier appel de l'une de leurs méthodes.
# Il exécute toutes les fonctions de $wgExtensionFunctions .

Voir aussi