Manuel:$wgPHPSessionHandling
Obsolète : cette fonctionnalité est obsolète et ne doit plus être utilisée. Elle reste néanmoins disponible pour des raisons de compatibilité avec l'existant. |
| 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) |
| Autres paramètres : Alphabétique | Par fonction | |
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
- ↑ voir les mots magiques dans includes/Setup.php