X-Git-Url: https://scripts.mit.edu/gitweb/autoinstalls/mediawiki.git/blobdiff_plain/17c4e79776c4cf0a9dd84e889f9376bd7469c7da..83d871ca0d985c6d586b323bf96161afb510ebf6:/LocalSettings.php

diff --git a/LocalSettings.php b/LocalSettings.php
index f15e7b68..26462586 100644
--- a/LocalSettings.php
+++ b/LocalSettings.php
@@ -1,133 +1,134 @@
 <?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.
+# This file was automatically generated by the MediaWiki 1.30.2
+# 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() );
+# https://www.mediawiki.org/wiki/Manual:Configuration_settings
 
-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" );
-	}
+# Protect against web entry
+if ( !defined( 'MEDIAWIKI' ) ) {
+	exit;
 }
+
 ## Uncomment this to disable output compression
 # $wgDisableOutputCompression = true;
 
-$wgSitename         = WIZARD_SITENAME;
+$wgSitename = WIZARD_SITENAME;
+$wgMetaNamespace = WIZARD_META_NAMESPACE;
 
 ## 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";
+## For more information on customizing the URLs
+## (like /w/index.php/Page_title to /wiki/Page_title) please see:
+## https://www.mediawiki.org/wiki/Manual:Short_URL
+$wgScriptPath = WIZARD_SCRIPTPATH;
 
-## The relative URL path to the skins directory
-$wgStylePath        = "$wgScriptPath/skins";
+## The protocol and server name to use in fully-qualified URLs
+$wgServer = WIZARD_SERVER;
 
-## The relative URL path to the logo.  Make sure you change this from the default,
+## The URL path to static resources (images, scripts, etc.)
+$wgResourceBasePath = $wgScriptPath;
+
+## The 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";
+$wgLogo = "$wgResourceBasePath/resources/assets/wiki.png";
 
 ## UPO means: this is also a user preference option
 
-$wgEnableEmail      = true;
-$wgEnableUserEmail  = true; # UPO
+$wgEnableEmail = true;
+$wgEnableUserEmail = true; # UPO
 
 $wgEmergencyContact = WIZARD_EMERGENCYCONTACT;
 $wgPasswordSender = WIZARD_EMERGENCYCONTACT;
 
-$wgEnotifUserTalk = true; # UPO
-$wgEnotifWatchlist = true; # UPO
+$wgEnotifUserTalk = false; # UPO
+$wgEnotifWatchlist = false; # UPO
 $wgEmailAuthentication = true;
 
 ## Database settings
-$wgDBtype           = "mysql";
-$wgDBserver         = WIZARD_DBSERVER;
-$wgDBname           = WIZARD_DBNAME;
-$wgDBuser           = WIZARD_DBUSER;
-$wgDBpassword       = WIZARD_DBPASSWORD;
+$wgDBtype = "mysql";
+$wgDBserver = WIZARD_DBSERVER;
+$wgDBname = WIZARD_DBNAME;
+$wgDBuser = WIZARD_DBUSER;
+$wgDBpassword = WIZARD_DBPASSWORD;
 
 # MySQL specific settings
-$wgDBprefix         = "";
+$wgDBprefix = "";
 
 # MySQL table options to use during installation or update
-$wgDBTableOptions   = "ENGINE=InnoDB, DEFAULT CHARSET=binary";
+$wgDBTableOptions = "ENGINE=InnoDB, DEFAULT CHARSET=binary";
 
-# Experimental charset support for MySQL 4.1/5.0.
-$wgDBmysql5 = true;
+# Experimental charset support for MySQL 5.0.
+$wgDBmysql5 = false;
 
 ## Shared memory settings
 $wgMainCacheType = CACHE_NONE;
-$wgMemCachedServers = array();
+$wgMemCachedServers = [];
 
 ## To enable image uploads, make sure the 'images' directory
 ## is writable, then set this to true:
-$wgEnableUploads       = false;
+$wgEnableUploads = false;
 $wgUseImageMagick = true;
 $wgImageMagickConvertCommand = "/usr/bin/convert";
 
+# InstantCommons allows wiki to use images from https://commons.wikimedia.org
+$wgUseInstantCommons = false;
+
+# Periodically send a pingback to https://www.mediawiki.org/ with basic data
+# about this MediaWiki instance. The Wikimedia Foundation shares this data
+# with MediaWiki developers to help guide future development efforts.
+$wgPingback = false;
+
 ## 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 );
-
+# Site language code, should be one of the list in ./languages/data/Names.php
 $wgLanguageCode = "en";
 
 $wgSecretKey = WIZARD_SECRETKEY;
 
-## Default skin: you can change the default skin. Use the internal symbolic
-## names, ie 'vector', 'monobook':
-$wgDefaultSkin = 'monobook';
+# Changing this will log out all existing sessions.
+$wgAuthenticationTokenVersion = "1";
+
+# Site upgrade key. Must be set to a string (default provided) to turn on the
+# web installer while LocalSettings.php is in place
+$wgUpgradeKey = WIZARD_UPGRADEKEY;
 
 ## 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
 
+# Path to the GNU diff3 utility. Used for conflict resolution.
 $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__ ) ) );
+## Default skin: you can change the default skin. Use the internal symbolic
+## names, ie 'vector', 'monobook':
+$wgDefaultSkin = "vector";
+
+# Enabled skins.
+# The following skins were automatically enabled:
+wfLoadSkin( 'CologneBlue' );
+wfLoadSkin( 'Modern' );
+wfLoadSkin( 'monobook' );
+wfLoadSkin( 'vector' );
+
+
+# End of automatically generated settings.
+# Add more configuration options below.
+