[451] | 1 | diff -Nur mediawiki-1.11.0.old/AdminSettings.php mediawiki-1.11.0/AdminSettings.php |
---|
| 2 | --- mediawiki-1.11.0.old/AdminSettings.php 1969-12-31 19:00:00.000000000 -0500 |
---|
| 3 | +++ mediawiki-1.11.0/AdminSettings.php 2007-10-09 17:32:52.000000000 -0400 |
---|
| 4 | @@ -0,0 +1,20 @@ |
---|
| 5 | +<?php |
---|
| 6 | +/** |
---|
| 7 | + * On scripts.mit.edu, the user's sole account can be used |
---|
| 8 | + * both for regular operation of the wiki and for any |
---|
| 9 | + * maintenance. Therefore, we just use the username and |
---|
| 10 | + * password already set in LocalSettings.php. |
---|
| 11 | + * |
---|
| 12 | + * @package MediaWiki |
---|
| 13 | + */ |
---|
| 14 | + |
---|
| 15 | +$wgDBadminuser = $wgDBuser; |
---|
| 16 | +$wgDBadminpassword = $wgDBpassword; |
---|
| 17 | + |
---|
| 18 | +/* |
---|
| 19 | + * Whether to enable the profileinfo.php script. |
---|
| 20 | + * (False is the default.) |
---|
| 21 | + */ |
---|
| 22 | +$wgEnableProfileInfo = false; |
---|
| 23 | + |
---|
| 24 | +?> |
---|
| 25 | diff -Nur mediawiki-1.11.0.old/includes/Setup.php mediawiki-1.11.0/includes/Setup.php |
---|
| 26 | --- mediawiki-1.11.0.old/includes/Setup.php 2007-07-22 10:45:12.000000000 -0400 |
---|
| 27 | +++ mediawiki-1.11.0/includes/Setup.php 2007-10-09 18:44:39.000000000 -0400 |
---|
| 28 | @@ -188,11 +188,11 @@ |
---|
| 29 | wfProfileIn( $fname.'-SetupSession' ); |
---|
| 30 | |
---|
| 31 | if ( $wgDBprefix ) { |
---|
| 32 | - $wgCookiePrefix = $wgDBname . '_' . $wgDBprefix; |
---|
| 33 | + $wgCookiePrefix = str_replace("+", "", $wgDBname . '_' . $wgDBprefix); |
---|
| 34 | } elseif ( $wgSharedDB ) { |
---|
| 35 | $wgCookiePrefix = $wgSharedDB; |
---|
| 36 | } else { |
---|
| 37 | - $wgCookiePrefix = $wgDBname; |
---|
| 38 | + $wgCookiePrefix = str_replace("+", "", $wgDBname); |
---|
| 39 | } |
---|
| 40 | $wgCookiePrefix = strtr($wgCookiePrefix, "=,; +.\"'\\[", "__________"); |
---|
| 41 | |
---|