From: Edward Z. Yang <ezyang@mit.edu>
Date: Fri, 4 Feb 2011 22:50:21 +0000 (+0000)
Subject: MediaWiki 1.16.2-scripts
X-Git-Tag: mediawiki-1.16.2-scripts
X-Git-Url: https://scripts.mit.edu/gitweb/autoinstalls/mediawiki.git/commitdiff_plain/737c6123d1467d8dbb903d72b19414a4345a5b69?hp=d274a1744ec81daf286c6175b0dbde867ca1b545

MediaWiki 1.16.2-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..f15e7b68
--- /dev/null
+++ b/LocalSettings.php
@@ -0,0 +1,133 @@
+<?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.
+#
+# See includes/DefaultSettings.php for all configurable settings
+# and their default values, but don't forget to make changes in _this_
+# file, not there.
+#
+# Further documentation for configuration settings may be found at:
+# http://www.mediawiki.org/wiki/Manual:Configuration_settings
+
+# If you customize your file layout, set $IP to the directory that contains
+# the other MediaWiki files. It will be used as a base to locate files.
+if( defined( 'MW_INSTALL_PATH' ) ) {
+	$IP = MW_INSTALL_PATH;
+} else {
+	$IP = dirname( __FILE__ );
+}
+
+$path = array( $IP, "$IP/includes", "$IP/languages" );
+set_include_path( implode( PATH_SEPARATOR, $path ) . PATH_SEPARATOR . get_include_path() );
+
+require_once( "$IP/includes/DefaultSettings.php" );
+
+if ( $wgCommandLineMode ) {
+	if ( isset( $_SERVER ) && array_key_exists( 'REQUEST_METHOD', $_SERVER ) ) {
+		die( "This script must be run from the command line\n" );
+	}
+}
+## Uncomment this to disable output compression
+# $wgDisableOutputCompression = true;
+
+$wgSitename         = WIZARD_SITENAME;
+
+## The URL base path to the directory containing the wiki;
+## defaults for all runtime URL paths are based off of this.
+## For more information on customizing the URLs please see:
+## http://www.mediawiki.org/wiki/Manual:Short_URL
+$wgScriptPath       = WIZARD_SCRIPTPATH;
+$wgScriptExtension  = ".php";
+
+## The relative URL path to the skins directory
+$wgStylePath        = "$wgScriptPath/skins";
+
+## The relative URL path to the logo.  Make sure you change this from the default,
+## or else you'll overwrite your logo when you upgrade!
+$wgLogo             = "$wgStylePath/common/images/wiki.png";
+
+## UPO means: this is also a user preference option
+
+$wgEnableEmail      = true;
+$wgEnableUserEmail  = true; # UPO
+
+$wgEmergencyContact = WIZARD_EMERGENCYCONTACT;
+$wgPasswordSender = WIZARD_EMERGENCYCONTACT;
+
+$wgEnotifUserTalk = true; # UPO
+$wgEnotifWatchlist = true; # UPO
+$wgEmailAuthentication = true;
+
+## Database settings
+$wgDBtype           = "mysql";
+$wgDBserver         = WIZARD_DBSERVER;
+$wgDBname           = WIZARD_DBNAME;
+$wgDBuser           = WIZARD_DBUSER;
+$wgDBpassword       = WIZARD_DBPASSWORD;
+
+# MySQL specific settings
+$wgDBprefix         = "";
+
+# MySQL table options to use during installation or update
+$wgDBTableOptions   = "ENGINE=InnoDB, DEFAULT CHARSET=binary";
+
+# Experimental charset support for MySQL 4.1/5.0.
+$wgDBmysql5 = true;
+
+## Shared memory settings
+$wgMainCacheType = CACHE_NONE;
+$wgMemCachedServers = array();
+
+## To enable image uploads, make sure the 'images' directory
+## is writable, then set this to true:
+$wgEnableUploads       = false;
+$wgUseImageMagick = true;
+$wgImageMagickConvertCommand = "/usr/bin/convert";
+
+## If you use ImageMagick (or any other shell command) on a
+## Linux server, this will need to be set to the name of an
+## available UTF-8 locale
+$wgShellLocale = "en_US.utf8";
+
+## 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           = false;
+
+## Set $wgCacheDirectory to a writable directory on the web server
+## to make your wiki go slightly faster. The directory should not
+## be publically accessible from the web.
+#$wgCacheDirectory = "$IP/cache";
+
+$wgLocalInterwiki   = strtolower( $wgSitename );
+
+$wgLanguageCode = "en";
+
+$wgSecretKey = WIZARD_SECRETKEY;
+
+## Default skin: you can change the default skin. Use the internal symbolic
+## names, ie 'vector', '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";
+
+# When you make changes to this configuration file, this will make
+# sure that cached pages are cleared.
+$wgCacheEpoch = max( $wgCacheEpoch, gmdate( 'YmdHis', @filemtime( __FILE__ ) ) );
diff --git a/bin/php.ini b/bin/php.ini
new file mode 120000
index 00000000..9fc31dbd
--- /dev/null
+++ b/bin/php.ini
@@ -0,0 +1 @@
+../php.ini
\ 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/deleted/php.ini b/images/deleted/php.ini
new file mode 120000
index 00000000..35b5cdd6
--- /dev/null
+++ b/images/deleted/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/api/php.ini b/includes/api/php.ini
new file mode 120000
index 00000000..35b5cdd6
--- /dev/null
+++ b/includes/api/php.ini
@@ -0,0 +1 @@
+../../php.ini
\ No newline at end of file
diff --git a/includes/cbt/php.ini b/includes/cbt/php.ini
new file mode 120000
index 00000000..35b5cdd6
--- /dev/null
+++ b/includes/cbt/php.ini
@@ -0,0 +1 @@
+../../php.ini
\ No newline at end of file
diff --git a/includes/db/php.ini b/includes/db/php.ini
new file mode 120000
index 00000000..35b5cdd6
--- /dev/null
+++ b/includes/db/php.ini
@@ -0,0 +1 @@
+../../php.ini
\ No newline at end of file
diff --git a/includes/diff/php.ini b/includes/diff/php.ini
new file mode 120000
index 00000000..35b5cdd6
--- /dev/null
+++ b/includes/diff/php.ini
@@ -0,0 +1 @@
+../../php.ini
\ No newline at end of file
diff --git a/includes/filerepo/php.ini b/includes/filerepo/php.ini
new file mode 120000
index 00000000..35b5cdd6
--- /dev/null
+++ b/includes/filerepo/php.ini
@@ -0,0 +1 @@
+../../php.ini
\ No newline at end of file
diff --git a/includes/media/php.ini b/includes/media/php.ini
new file mode 120000
index 00000000..35b5cdd6
--- /dev/null
+++ b/includes/media/php.ini
@@ -0,0 +1 @@
+../../php.ini
\ No newline at end of file
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/parser/php.ini b/includes/parser/php.ini
new file mode 120000
index 00000000..35b5cdd6
--- /dev/null
+++ b/includes/parser/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/specials/php.ini b/includes/specials/php.ini
new file mode 120000
index 00000000..35b5cdd6
--- /dev/null
+++ b/includes/specials/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/classes/php.ini b/languages/classes/php.ini
new file mode 120000
index 00000000..35b5cdd6
--- /dev/null
+++ b/languages/classes/php.ini
@@ -0,0 +1 @@
+../../php.ini
\ No newline at end of file
diff --git a/languages/messages/php.ini b/languages/messages/php.ini
new file mode 120000
index 00000000..35b5cdd6
--- /dev/null
+++ b/languages/messages/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/locale/php.ini b/locale/php.ini
new file mode 120000
index 00000000..9fc31dbd
--- /dev/null
+++ b/locale/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/dtrace/php.ini b/maintenance/dtrace/php.ini
new file mode 120000
index 00000000..35b5cdd6
--- /dev/null
+++ b/maintenance/dtrace/php.ini
@@ -0,0 +1 @@
+../../php.ini
\ No newline at end of file
diff --git a/maintenance/gearman/php.ini b/maintenance/gearman/php.ini
new file mode 120000
index 00000000..35b5cdd6
--- /dev/null
+++ b/maintenance/gearman/php.ini
@@ -0,0 +1 @@
+../../php.ini
\ No newline at end of file
diff --git a/maintenance/ibm_db2/php.ini b/maintenance/ibm_db2/php.ini
new file mode 120000
index 00000000..35b5cdd6
--- /dev/null
+++ b/maintenance/ibm_db2/php.ini
@@ -0,0 +1 @@
+../../php.ini
\ No newline at end of file
diff --git a/maintenance/language/php.ini b/maintenance/language/php.ini
new file mode 120000
index 00000000..35b5cdd6
--- /dev/null
+++ b/maintenance/language/php.ini
@@ -0,0 +1 @@
+../../php.ini
\ No newline at end of file
diff --git a/maintenance/mssql/php.ini b/maintenance/mssql/php.ini
new file mode 120000
index 00000000..35b5cdd6
--- /dev/null
+++ b/maintenance/mssql/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/ora/php.ini b/maintenance/ora/php.ini
new file mode 120000
index 00000000..35b5cdd6
--- /dev/null
+++ b/maintenance/ora/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/postgres/archives/php.ini b/maintenance/postgres/archives/php.ini
new file mode 120000
index 00000000..33fe98f0
--- /dev/null
+++ b/maintenance/postgres/archives/php.ini
@@ -0,0 +1 @@
+../../../php.ini
\ No newline at end of file
diff --git a/maintenance/postgres/php.ini b/maintenance/postgres/php.ini
new file mode 120000
index 00000000..35b5cdd6
--- /dev/null
+++ b/maintenance/postgres/php.ini
@@ -0,0 +1 @@
+../../php.ini
\ No newline at end of file
diff --git a/maintenance/sqlite/archives/php.ini b/maintenance/sqlite/archives/php.ini
new file mode 120000
index 00000000..33fe98f0
--- /dev/null
+++ b/maintenance/sqlite/archives/php.ini
@@ -0,0 +1 @@
+../../../php.ini
\ No newline at end of file
diff --git a/maintenance/sqlite/php.ini b/maintenance/sqlite/php.ini
new file mode 120000
index 00000000..35b5cdd6
--- /dev/null
+++ b/maintenance/sqlite/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/serialized/php.ini b/serialized/php.ini
new file mode 120000
index 00000000..9fc31dbd
--- /dev/null
+++ b/serialized/php.ini
@@ -0,0 +1 @@
+../php.ini
\ No newline at end of file
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/ar/php.ini b/skins/common/images/ar/php.ini
new file mode 120000
index 00000000..3ba6e781
--- /dev/null
+++ b/skins/common/images/ar/php.ini
@@ -0,0 +1 @@
+../../../../php.ini
\ No newline at end of file
diff --git a/skins/common/images/be-tarask/php.ini b/skins/common/images/be-tarask/php.ini
new file mode 120000
index 00000000..3ba6e781
--- /dev/null
+++ b/skins/common/images/be-tarask/php.ini
@@ -0,0 +1 @@
+../../../../php.ini
\ No newline at end of file
diff --git a/skins/common/images/cyrl/php.ini b/skins/common/images/cyrl/php.ini
new file mode 120000
index 00000000..3ba6e781
--- /dev/null
+++ b/skins/common/images/cyrl/php.ini
@@ -0,0 +1 @@
+../../../../php.ini
\ No newline at end of file
diff --git a/skins/common/images/de/php.ini b/skins/common/images/de/php.ini
new file mode 120000
index 00000000..3ba6e781
--- /dev/null
+++ b/skins/common/images/de/php.ini
@@ -0,0 +1 @@
+../../../../php.ini
\ No newline at end of file
diff --git a/skins/common/images/fa/php.ini b/skins/common/images/fa/php.ini
new file mode 120000
index 00000000..3ba6e781
--- /dev/null
+++ b/skins/common/images/fa/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/ksh/php.ini b/skins/common/images/ksh/php.ini
new file mode 120000
index 00000000..3ba6e781
--- /dev/null
+++ b/skins/common/images/ksh/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/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/htmldump/php.ini b/skins/htmldump/php.ini
new file mode 120000
index 00000000..35b5cdd6
--- /dev/null
+++ b/skins/htmldump/php.ini
@@ -0,0 +1 @@
+../../php.ini
\ No newline at end of file
diff --git a/skins/modern/php.ini b/skins/modern/php.ini
new file mode 120000
index 00000000..35b5cdd6
--- /dev/null
+++ b/skins/modern/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/t/inc/php.ini b/t/inc/php.ini
new file mode 120000
index 00000000..35b5cdd6
--- /dev/null
+++ b/t/inc/php.ini
@@ -0,0 +1 @@
+../../php.ini
\ No newline at end of file
diff --git a/t/maint/php.ini b/t/maint/php.ini
new file mode 120000
index 00000000..35b5cdd6
--- /dev/null
+++ b/t/maint/php.ini
@@ -0,0 +1 @@
+../../php.ini
\ No newline at end of file
diff --git a/t/php.ini b/t/php.ini
new file mode 120000
index 00000000..9fc31dbd
--- /dev/null
+++ b/t/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