MediaWiki 1.16.0-scripts

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

diff --combined LocalSettings.php
index 3979cf749be2d17619a7934dbf092da65c48619c,0000000000000000000000000000000000000000..f15e7b68f2dd96a9459d6b361b94b942d72b82b1
mode 100644,000000..100644
--- 1/LocalSettings.php
--- /dev/null
+++ b/LocalSettings.php
@@@ -1,124 -1,0 +1,133 @@@
- # If PHP's memory limit is very low, some operations may fail.
- # ini_set( 'memory_limit', '20M' );
- 
 +<?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" );
 +
- ## names, ie 'standard', 'nostalgia', 'cologneblue', 'monobook':
 +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__ ) ) );