From: Edward Z. Yang <ezyang@mit.edu>
Date: Tue, 16 Jun 2009 00:11:07 +0000 (-0400)
Subject: MediaWiki 1.5.8-scripts
X-Git-Tag: mediawiki-1.5.8-scripts
X-Git-Url: https://scripts.mit.edu/gitweb/autoinstalls/mediawiki.git/commitdiff_plain/26126fabf59652519cce114869ecce7b43b88b79

MediaWiki 1.5.8-scripts

Signed-off-by: Edward Z. Yang <ezyang@mit.edu>
---

diff --git a/.scripts/.htaccess b/.scripts/.htaccess
new file mode 100644
index 00000000..3a428827
--- /dev/null
+++ b/.scripts/.htaccess
@@ -0,0 +1 @@
+Deny from all
diff --git a/AdminSettings.php b/AdminSettings.php
new file mode 100644
index 00000000..b0b3939a
--- /dev/null
+++ b/AdminSettings.php
@@ -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 --git a/LocalSettings.php b/LocalSettings.php
new file mode 100644
index 00000000..8a1d1994
--- /dev/null
+++ b/LocalSettings.php
@@ -0,0 +1,113 @@
+<?php
+
+# This file was automatically generated by the MediaWiki installer.
+# If you make manual changes, please keep track in case you need to
+# recreate them later.
+
+$IP = WIZARD_IP;
+ini_set( "include_path", ".:$IP:$IP/includes:$IP/languages" );
+require_once( "includes/DefaultSettings.php" );
+
+# If PHP's memory limit is very low, some operations may fail.
+# ini_set( 'memory_limit', '20M' );
+
+if ( $wgCommandLineMode ) {
+	if ( isset( $_SERVER ) && array_key_exists( 'REQUEST_METHOD', $_SERVER ) ) {
+		die( "This script must be run from the command line\n" );
+	}
+} elseif ( empty( $wgNoOutputBuffer ) ) {
+	## Compress output if the browser supports it
+	if( !ini_get( 'zlib.output_compression' ) ) @ob_start( 'ob_gzhandler' );
+}
+
+$wgSitename         = WIZARD_SITENAME;
+
+$wgScriptPath	    = WIZARD_SCRIPTPATH;
+$wgScript           = "$wgScriptPath/index.php";
+$wgRedirectScript   = "$wgScriptPath/redirect.php";
+
+## If using PHP as a CGI module, use the ugly URLs
+# $wgArticlePath      = "$wgScript/$1";
+$wgArticlePath      = "$wgScript?title=$1";
+
+$wgStylePath        = "$wgScriptPath/skins";
+$wgStyleDirectory   = "$IP/skins";
+$wgLogo             = "$wgStylePath/common/images/wiki.png";
+
+$wgUploadPath       = "$wgScriptPath/images";
+$wgUploadDirectory  = "$IP/images";
+
+$wgEnableEmail = true;
+$wgEnableUserEmail = true;
+
+$wgEmergencyContact = WIZARD_EMERGENCYCONTACT;
+$wgPasswordSender	= WIZARD_EMERGENCYCONTACT;
+
+## For a detailed description of the following switches see
+## http://meta.wikimedia.org/Enotif and http://meta.wikimedia.org/Eauthent
+## There are many more options for fine tuning available see
+## /includes/DefaultSettings.php
+## UPO means: this is also a user preference option
+$wgEnotifUserTalk = true; # UPO
+$wgEnotifWatchlist = true; # UPO
+$wgEmailAuthentication = true;
+
+$wgDBserver         = WIZARD_DBSERVER;
+$wgDBname           = WIZARD_DBNAME;
+$wgDBuser           = WIZARD_DBUSER;
+$wgDBpassword       = WIZARD_DBPASSWORD;
+$wgDBprefix         = "";
+
+# If you're on MySQL 3.x, this next line must be FALSE:
+$wgDBmysql4 = true;
+
+# Experimental charset support for MySQL 4.1/5.0.
+$wgDBmysql5 = false;
+
+## Shared memory settings
+$wgMainCacheType = CACHE_NONE;
+$wgMemCachedServers = array();
+
+## To enable image uploads, make sure the 'images' directory
+## is writable, then uncomment this:
+# $wgEnableUploads		= true;
+$wgUseImageResize		= true;
+$wgUseImageMagick = true;
+$wgImageMagickConvertCommand = "/usr/bin/convert";
+
+## If you want to use image uploads under safe mode,
+## create the directories images/archive, images/thumb and
+## images/temp, and make them all writable. Then uncomment
+## this, if it's not already uncommented:
+# $wgHashedUploadDirectory = false;
+
+## If you have the appropriate support software installed
+## you can enable inline LaTeX equations:
+# $wgUseTeX			= true;
+$wgMathPath         = "{$wgUploadPath}/math";
+$wgMathDirectory    = "{$wgUploadDirectory}/math";
+$wgTmpDirectory     = "{$wgUploadDirectory}/tmp";
+
+$wgLocalInterwiki   = $wgSitename;
+
+$wgLanguageCode = "en";
+
+$wgProxyKey = WIZARD_SECRETKEY;
+
+## Default skin: you can change the default skin. Use the internal symbolic
+## names, ie 'standard', 'nostalgia', 'cologneblue', 'monobook':
+# $wgDefaultSkin = 'monobook';
+
+## For attaching licensing metadata to pages, and displaying an
+## appropriate copyright notice / icon. GNU Free Documentation
+## License and Creative Commons licenses are supported so far.
+# $wgEnableCreativeCommonsRdf = true;
+$wgRightsPage = ""; # Set to the title of a wiki page that describes your license/copyright
+$wgRightsUrl = "";
+$wgRightsText = "";
+$wgRightsIcon = "";
+# $wgRightsCode = ""; # Not yet used
+
+$wgDiff3 = "/usr/bin/diff3";
+
+?>
\ No newline at end of file
diff --git a/config/php.ini b/config/php.ini
new file mode 120000
index 00000000..9fc31dbd
--- /dev/null
+++ b/config/php.ini
@@ -0,0 +1 @@
+../php.ini
\ No newline at end of file
diff --git a/docs/html/php.ini b/docs/html/php.ini
new file mode 120000
index 00000000..35b5cdd6
--- /dev/null
+++ b/docs/html/php.ini
@@ -0,0 +1 @@
+../../php.ini
\ No newline at end of file
diff --git a/docs/php-memcached/php.ini b/docs/php-memcached/php.ini
new file mode 120000
index 00000000..35b5cdd6
--- /dev/null
+++ b/docs/php-memcached/php.ini
@@ -0,0 +1 @@
+../../php.ini
\ No newline at end of file
diff --git a/docs/php.ini b/docs/php.ini
new file mode 120000
index 00000000..9fc31dbd
--- /dev/null
+++ b/docs/php.ini
@@ -0,0 +1 @@
+../php.ini
\ No newline at end of file
diff --git a/extensions/php.ini b/extensions/php.ini
new file mode 120000
index 00000000..9fc31dbd
--- /dev/null
+++ b/extensions/php.ini
@@ -0,0 +1 @@
+../php.ini
\ No newline at end of file
diff --git a/images/php.ini b/images/php.ini
new file mode 120000
index 00000000..9fc31dbd
--- /dev/null
+++ b/images/php.ini
@@ -0,0 +1 @@
+../php.ini
\ No newline at end of file
diff --git a/includes/Setup.php b/includes/Setup.php
index 22aaf909..3a0a1f1f 100644
--- a/includes/Setup.php
+++ b/includes/Setup.php
@@ -118,11 +118,11 @@ wfProfileOut( $fname.'-memcached' );
 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' );
diff --git a/includes/normal/php.ini b/includes/normal/php.ini
new file mode 120000
index 00000000..35b5cdd6
--- /dev/null
+++ b/includes/normal/php.ini
@@ -0,0 +1 @@
+../../php.ini
\ No newline at end of file
diff --git a/includes/php.ini b/includes/php.ini
new file mode 120000
index 00000000..9fc31dbd
--- /dev/null
+++ b/includes/php.ini
@@ -0,0 +1 @@
+../php.ini
\ No newline at end of file
diff --git a/includes/templates/php.ini b/includes/templates/php.ini
new file mode 120000
index 00000000..35b5cdd6
--- /dev/null
+++ b/includes/templates/php.ini
@@ -0,0 +1 @@
+../../php.ini
\ No newline at end of file
diff --git a/includes/zhtable/php.ini b/includes/zhtable/php.ini
new file mode 120000
index 00000000..35b5cdd6
--- /dev/null
+++ b/includes/zhtable/php.ini
@@ -0,0 +1 @@
+../../php.ini
\ No newline at end of file
diff --git a/languages/php.ini b/languages/php.ini
new file mode 120000
index 00000000..9fc31dbd
--- /dev/null
+++ b/languages/php.ini
@@ -0,0 +1 @@
+../php.ini
\ No newline at end of file
diff --git a/maintenance/archives/php.ini b/maintenance/archives/php.ini
new file mode 120000
index 00000000..35b5cdd6
--- /dev/null
+++ b/maintenance/archives/php.ini
@@ -0,0 +1 @@
+../../php.ini
\ No newline at end of file
diff --git a/maintenance/mysql5/php.ini b/maintenance/mysql5/php.ini
new file mode 120000
index 00000000..35b5cdd6
--- /dev/null
+++ b/maintenance/mysql5/php.ini
@@ -0,0 +1 @@
+../../php.ini
\ No newline at end of file
diff --git a/maintenance/php.ini b/maintenance/php.ini
new file mode 120000
index 00000000..9fc31dbd
--- /dev/null
+++ b/maintenance/php.ini
@@ -0,0 +1 @@
+../php.ini
\ No newline at end of file
diff --git a/maintenance/storage/php.ini b/maintenance/storage/php.ini
new file mode 120000
index 00000000..35b5cdd6
--- /dev/null
+++ b/maintenance/storage/php.ini
@@ -0,0 +1 @@
+../../php.ini
\ No newline at end of file
diff --git a/math/php.ini b/math/php.ini
new file mode 120000
index 00000000..9fc31dbd
--- /dev/null
+++ b/math/php.ini
@@ -0,0 +1 @@
+../php.ini
\ No newline at end of file
diff --git a/php.ini b/php.ini
new file mode 100644
index 00000000..14a0f57c
--- /dev/null
+++ b/php.ini
@@ -0,0 +1,26 @@
+extension = gd.so
+extension = mysql.so
+session.name = WIZARD_SESSIONNAME
+session.save_path = WIZARD_TMPDIR
+upload_tmp_dir = WIZARD_TMPDIR
+register_long_arrays = on
+cgi.fix_pathinfo = 1
+memory_limit = 1024M
+max_execution_time = 60
+expose_php = off
+output_buffering = 4096
+zlib.output_compression = On
+zlib.output_compression_level = 6
+implicit_flush = Off
+error_reporting  =  E_ALL & ~E_NOTICE & ~E_WARNING
+display_errors = On
+display_startup_errors = Off
+register_globals = Off
+register_long_arrays = Off
+register_argc_argv = On
+post_max_size = 1024M
+magic_quotes_gpc = Off
+upload_max_filesize = 1024M
+log_errors = Off
+[MySQL]
+mysql.default_host = sql.mit.edu
diff --git a/skins/chick/php.ini b/skins/chick/php.ini
new file mode 120000
index 00000000..35b5cdd6
--- /dev/null
+++ b/skins/chick/php.ini
@@ -0,0 +1 @@
+../../php.ini
\ No newline at end of file
diff --git a/skins/common/images/icons/php.ini b/skins/common/images/icons/php.ini
new file mode 120000
index 00000000..3ba6e781
--- /dev/null
+++ b/skins/common/images/icons/php.ini
@@ -0,0 +1 @@
+../../../../php.ini
\ No newline at end of file
diff --git a/skins/common/images/php.ini b/skins/common/images/php.ini
new file mode 120000
index 00000000..33fe98f0
--- /dev/null
+++ b/skins/common/images/php.ini
@@ -0,0 +1 @@
+../../../php.ini
\ No newline at end of file
diff --git a/skins/common/images/wiki.png b/skins/common/images/wiki.png
index 49913f6a..69fce988 100644
Binary files a/skins/common/images/wiki.png and b/skins/common/images/wiki.png differ
diff --git a/skins/common/php.ini b/skins/common/php.ini
new file mode 120000
index 00000000..35b5cdd6
--- /dev/null
+++ b/skins/common/php.ini
@@ -0,0 +1 @@
+../../php.ini
\ No newline at end of file
diff --git a/skins/disabled/php.ini b/skins/disabled/php.ini
new file mode 120000
index 00000000..35b5cdd6
--- /dev/null
+++ b/skins/disabled/php.ini
@@ -0,0 +1 @@
+../../php.ini
\ No newline at end of file
diff --git a/skins/monobook/php.ini b/skins/monobook/php.ini
new file mode 120000
index 00000000..35b5cdd6
--- /dev/null
+++ b/skins/monobook/php.ini
@@ -0,0 +1 @@
+../../php.ini
\ No newline at end of file
diff --git a/skins/myskin/php.ini b/skins/myskin/php.ini
new file mode 120000
index 00000000..35b5cdd6
--- /dev/null
+++ b/skins/myskin/php.ini
@@ -0,0 +1 @@
+../../php.ini
\ No newline at end of file
diff --git a/skins/php.ini b/skins/php.ini
new file mode 120000
index 00000000..9fc31dbd
--- /dev/null
+++ b/skins/php.ini
@@ -0,0 +1 @@
+../php.ini
\ No newline at end of file
diff --git a/skins/simple/php.ini b/skins/simple/php.ini
new file mode 120000
index 00000000..35b5cdd6
--- /dev/null
+++ b/skins/simple/php.ini
@@ -0,0 +1 @@
+../../php.ini
\ No newline at end of file
diff --git a/tests/php.ini b/tests/php.ini
new file mode 120000
index 00000000..9fc31dbd
--- /dev/null
+++ b/tests/php.ini
@@ -0,0 +1 @@
+../php.ini
\ No newline at end of file