Index: /locker/deploy/mediawiki-1.11.0/mediawiki-1.11.0.patch
===================================================================
--- /locker/deploy/mediawiki-1.11.0/mediawiki-1.11.0.patch	(revision 452)
+++ /locker/deploy/mediawiki-1.11.0/mediawiki-1.11.0.patch	(revision 452)
@@ -0,0 +1,41 @@
+diff -Nur mediawiki-1.11.0.old/AdminSettings.php mediawiki-1.11.0/AdminSettings.php
+--- mediawiki-1.11.0.old/AdminSettings.php	1969-12-31 19:00:00.000000000 -0500
++++ mediawiki-1.11.0/AdminSettings.php	2007-10-09 17:32:52.000000000 -0400
+@@ -0,0 +1,20 @@
++<?php
++/**
++ * On scripts.mit.edu, the user's sole account can be used
++ * both for regular operation of the wiki and for any
++ * maintenance.  Therefore, we just use the username and
++ * password already set in LocalSettings.php.
++ *
++ * @package MediaWiki
++ */
++          
++$wgDBadminuser      = $wgDBuser;
++$wgDBadminpassword  = $wgDBpassword;
++          
++/*
++ * Whether to enable the profileinfo.php script.
++ * (False is the default.)
++ */
++$wgEnableProfileInfo = false;
++          
++?>
+diff -Nur mediawiki-1.11.0.old/includes/Setup.php mediawiki-1.11.0/includes/Setup.php
+--- mediawiki-1.11.0.old/includes/Setup.php	2007-07-22 10:45:12.000000000 -0400
++++ mediawiki-1.11.0/includes/Setup.php	2007-10-09 18:44:39.000000000 -0400
+@@ -188,11 +188,11 @@
+ wfProfileIn( $fname.'-SetupSession' );
+ 
+ if ( $wgDBprefix ) {
+-	$wgCookiePrefix = $wgDBname . '_' . $wgDBprefix;
++	$wgCookiePrefix = str_replace("+", "", $wgDBname . '_' . $wgDBprefix);
+ } elseif ( $wgSharedDB ) {
+ 	$wgCookiePrefix = $wgSharedDB;
+ } else {
+-	$wgCookiePrefix = $wgDBname;
++	$wgCookiePrefix = str_replace("+", "", $wgDBname);
+ }
+ $wgCookiePrefix = strtr($wgCookiePrefix, "=,; +.\"'\\[", "__________");
+ 
Index: /locker/deploy/mediawiki-1.5.6/mediawiki-1.5.6.patch
===================================================================
--- /locker/deploy/mediawiki-1.5.6/mediawiki-1.5.6.patch	(revision 452)
+++ /locker/deploy/mediawiki-1.5.6/mediawiki-1.5.6.patch	(revision 452)
@@ -0,0 +1,15 @@
+--- includes/Setup.php	Fri Aug 26 10:05:43 2005
++++ includes/Setup.php	Fri Sep 23 18:46:34 2005
+@@ -117,12 +117,6 @@
+ wfProfileOut( $fname.'-memcached' );
+ wfProfileIn( $fname.'-SetupSession' );
+ 
+-if ( $wgDBprefix ) {
+-	session_name( $wgDBname . '_' . $wgDBprefix . '_session' );
+-} else {
+-	session_name( $wgDBname . '_session' );
+-}
+-
+ if( !$wgCommandLineMode && ( isset( $_COOKIE[session_name()] ) || isset( $_COOKIE[$wgDBname.'Token'] ) ) ) {
+ 	User::SetupSession();
+ 	$wgSessionStarted = true;
Index: /locker/deploy/mediawiki-1.5.8/mediawiki-1.5.8.patch
===================================================================
--- /locker/deploy/mediawiki-1.5.8/mediawiki-1.5.8.patch	(revision 452)
+++ /locker/deploy/mediawiki-1.5.8/mediawiki-1.5.8.patch	(revision 452)
@@ -0,0 +1,17 @@
+diff -uNr mediawiki-1.5.8/includes/Setup.php mw-scripts-158/includes/Setup.php
+--- includes/Setup.php	2006-02-11 02:26:47.000000000 -0500
++++ includes/Setup.php	2006-04-14 18:28:29.000000000 -0400
+@@ -118,11 +118,11 @@
+ wfProfileIn( $fname.'-SetupSession' );
+ 
+ if ( $wgDBprefix ) {
+-	$wgCookiePrefix = $wgDBname . '_' . $wgDBprefix;
++	$wgCookiePrefix = str_replace("+", "", $wgDBname . '_' . $wgDBprefix);
+ } elseif ( $wgSharedDB ) {
+ 	$wgCookiePrefix = $wgSharedDB;
+ } else {
+-	$wgCookiePrefix = $wgDBname;
++	$wgCookiePrefix = str_replace("+", "", $wgDBname);
+ }
+ 
+ session_name( $wgCookiePrefix . '_session' );