source: locker/deploy/mediawiki-1.11.0/mediawiki-1.11.0.patch @ 452

Last change on this file since 452 was 452, checked in by quentin, 15 years ago
Make directories for each package
File size: 1.4 KB
RevLine 
[451]1diff -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+?>
25diff -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 
Note: See TracBrowser for help on using the repository browser.