Jump to content

Manuel:$wgPHPSessionHandling

From mediawiki.org
This page is a translated version of the page Manual:$wgPHPSessionHandling and the translation is 93% complete.
Outdated translations are marked like this.
Cache: $wgPHPSessionHandling
Indique s'il faut utiliser la gestion PHP des sessions (fonctions $_SESSION et session_*())
Introduit dans la version :1.27.0 (Gerrit change 243223; git #Ic1ffea7)
Obsolète dans la version :1.45.0 (Gerrit change 1190344; git #I0d6eee2)
Retiré dans la version :Encore utilisé
Valeurs autorisées :(chaîne de caractères)
Valeur par défaut :'warn' (1.45+)
'enable' (1.27-1.44)

Détails

Indique s'il faut utiliser la gestion PHP des sessions (fonctions $_SESSION et session_*()) dans SessionManager .

Valeurs possibles :

  • enable – Intègre le plus possible la gestion PHP des sessions.
  • warn – Intégrer et journaliser les avertissements si $_SESSION vient à être modifié.
  • disable – Génère des exceptions si la gestion PHP des sessions est utilisée.

Si $wgPHPSessionHandling est initialisé avec une valeur non valide (par exemple une chaîne non listée ci-dessus), il sera automatiquement mis à warn.[1]

Si la constante MW_NO_SESSION est définie, $wgPHPSessionHandling est forcé à disable.

Si la constante MW_NO_SESSION_HANDLER est définie, $wgPHPSessionHandling est ignoré et la gestion de session PHP fonctionnera indépendamment du SessionHandler. SessionHandler et le traitement PHP des sessions peuvent tenter chacuns de supprimer les cookies de l'autre.

Dans MediaWiki 1.45-, disable n'est pas testé correctement et peut causer des problèmes avec les mécanismes des sessions qui ne sont pas basés sur les cookies (T353304). (T353304)


Notes

  1. voir les mots magiques dans includes/Setup.php