Page MenuHomePhabricator

mediawiki-fix-cookieprefix.patch

Authored By
bzimport
Nov 21 2014, 8:55 PM
Size
377 B
Referenced Files
None
Subscribers
None

mediawiki-fix-cookieprefix.patch

Index: includes/Setup.php
===================================================================
--- includes/Setup.php (revision 21546)
+++ includes/Setup.php (working copy)
@@ -134,6 +134,7 @@
} else {
$wgCookiePrefix = $wgDBname;
}
+$wgCookiePrefix = strtr($wgCookiePrefix, "=,; +.\"'\\[", "__________");
# If session.auto_start is there, we can't touch session name
#

File Metadata

Mime Type
text/x-diff
Storage Engine
blob
Storage Format
Raw Data
Storage Handle
2020
Default Alt Text
mediawiki-fix-cookieprefix.patch (377 B)

Event Timeline