diff options
| author | Pierre Schmitz <pierre@archlinux.de> | 2007-05-16 20:58:53 +0000 |
|---|---|---|
| committer | Pierre Schmitz <pierre@archlinux.de> | 2007-05-16 20:58:53 +0000 |
| commit | cecb985bee3bdd252e1b8dc0bd500b37cd52be01 (patch) | |
| tree | 17266aa237742640aabee7856f0202317a45d540 /includes/Setup.php | |
| parent | 0bac06c301f2a83edb0236e4c2434da16848d549 (diff) | |
Aktualisierung auf MediaWiki 1.10.0
Plugins angepasst und verbessert
kleine Korrekturen am Design
Diffstat (limited to 'includes/Setup.php')
| -rw-r--r-- | includes/Setup.php | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/includes/Setup.php b/includes/Setup.php index 80a5b48a..47ba494f 100644 --- a/includes/Setup.php +++ b/includes/Setup.php @@ -1,7 +1,6 @@ <?php /** * Include most things that's need to customize the site - * @package MediaWiki */ /** @@ -134,13 +133,14 @@ if ( $wgDBprefix ) { } else { $wgCookiePrefix = $wgDBname; } +$wgCookiePrefix = strtr($wgCookiePrefix, "=,; +.\"'\\[", "__________"); # If session.auto_start is there, we can't touch session name # if( !ini_get( 'session.auto_start' ) ) session_name( $wgSessionName ? $wgSessionName : $wgCookiePrefix . '_session' ); -if( !$wgCommandLineMode && ( isset( $_COOKIE[session_name()] ) || isset( $_COOKIE[$wgCookiePrefix.'Token'] ) ) ) { +if( !$wgCommandLineMode && ( $wgRequest->checkSessionCookie() || isset( $_COOKIE[$wgCookiePrefix.'Token'] ) ) ) { wfIncrStats( 'request_with_session' ); wfSetupSession(); $wgSessionStarted = true; |