Manual:$wgSessionHandler
| この機能は、バージョン 1.33.0 で完全に除去されました。 |
| Cookie: $wgSessionHandler | |
|---|---|
| Used to set PHP's session.save_handler. |
|
| 導入されたバージョン: | 1.16.0 (r49370) |
| 廃止予定になったバージョン: | 1.27.0 (Gerrit change 267737; git #2257fe42) |
| 除去されたバージョン: | 1.33.0 (Gerrit change 489405; git #a38fe6cd) |
| 許容される値: | (文字列) または null |
| 既定値: | null (1.18-1.32)'files' (1.16-1.17) |
| その他の設定: アルファベット順 | 機能順 | |
詳細
This is used for setting PHP's session.save_handler. In practice, you will almost never need to change this ever. Other options might be 'user' or 'session_mysql'.
Setting to null skips setting this entirely (which might be useful if you're doing cross-application sessions, see bug 11381).