--- /dev/null
-
- # 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.
+<?php
- # 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() );
++# 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:
- 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" );
- }
++# https://www.mediawiki.org/wiki/Manual:Configuration_settings
+
- $wgSitename = WIZARD_SITENAME;
++# Protect against web entry
++if ( !defined( 'MEDIAWIKI' ) ) {
++ exit;
+}
++
+## Uncomment this to disable output compression
+# $wgDisableOutputCompression = true;
+
- ## For more information on customizing the URLs please see:
- ## http://www.mediawiki.org/wiki/Manual:Short_URL
- $wgScriptPath = WIZARD_SCRIPTPATH;
- $wgScriptExtension = ".php";
++$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.
- ## The relative URL path to the skins directory
- $wgStylePath = "$wgScriptPath/skins";
++## 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 logo. Make sure you change this from the default,
++## The protocol and server name to use in fully-qualified URLs
++$wgServer = WIZARD_SERVER;
+
- $wgLogo = "$wgStylePath/common/images/wiki.png";
++## 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!
- $wgEnableEmail = true;
- $wgEnableUserEmail = true; # UPO
++$wgLogo = "$wgResourceBasePath/resources/assets/wiki.png";
+
+## UPO means: this is also a user preference option
+
- $wgEnotifUserTalk = true; # UPO
- $wgEnotifWatchlist = true; # UPO
++$wgEnableEmail = true;
++$wgEnableUserEmail = true; # UPO
+
+$wgEmergencyContact = WIZARD_EMERGENCYCONTACT;
+$wgPasswordSender = WIZARD_EMERGENCYCONTACT;
+
- $wgDBtype = "mysql";
- $wgDBserver = WIZARD_DBSERVER;
- $wgDBname = WIZARD_DBNAME;
- $wgDBuser = WIZARD_DBUSER;
- $wgDBpassword = WIZARD_DBPASSWORD;
++$wgEnotifUserTalk = false; # UPO
++$wgEnotifWatchlist = false; # UPO
+$wgEmailAuthentication = true;
+
+## Database settings
- $wgDBprefix = "";
++$wgDBtype = "mysql";
++$wgDBserver = WIZARD_DBSERVER;
++$wgDBname = WIZARD_DBNAME;
++$wgDBuser = WIZARD_DBUSER;
++$wgDBpassword = WIZARD_DBPASSWORD;
+
+# MySQL specific settings
- $wgDBTableOptions = "ENGINE=InnoDB, DEFAULT CHARSET=binary";
++$wgDBprefix = "";
+
+# MySQL table options to use during installation or update
- # Experimental charset support for MySQL 4.1/5.0.
- $wgDBmysql5 = true;
++$wgDBTableOptions = "ENGINE=InnoDB, DEFAULT CHARSET=binary";
+
- $wgMemCachedServers = array();
++# Experimental charset support for MySQL 5.0.
++$wgDBmysql5 = false;
+
+## Shared memory settings
+$wgMainCacheType = CACHE_NONE;
- $wgEnableUploads = false;
++$wgMemCachedServers = [];
+
+## To enable image uploads, make sure the 'images' directory
+## is writable, then set this to true:
- ## 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;
-
++$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";
+
- $wgLocalInterwiki = strtolower( $wgSitename );
-
+## 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";
+
- ## Default skin: you can change the default skin. Use the internal symbolic
- ## names, ie 'vector', 'monobook':
- $wgDefaultSkin = 'monobook';
++# Site language code, should be one of the list in ./languages/data/Names.php
+$wgLanguageCode = "en";
+
+$wgSecretKey = WIZARD_SECRETKEY;
+
- # $wgEnableCreativeCommonsRdf = true;
++# 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.
- # $wgRightsCode = ""; # Not yet used
+$wgRightsPage = ""; # Set to the title of a wiki page that describes your license/copyright
+$wgRightsUrl = "";
+$wgRightsText = "";
+$wgRightsIcon = "";
- # When you make changes to this configuration file, this will make
- # sure that cached pages are cleared.
- $wgCacheEpoch = max( $wgCacheEpoch, gmdate( 'YmdHis', @filemtime( __FILE__ ) ) );
+
++# Path to the GNU diff3 utility. Used for conflict resolution.
+$wgDiff3 = "/usr/bin/diff3";
+
++## 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.
++
scripts.mit.edu / autoinstallsdev / mediawiki.git / commitdiff
