mirror of https://github.com/zulip/zulip.git
164 lines
5.5 KiB
PHP
164 lines
5.5 KiB
PHP
<?php
|
|
# This file was automatically generated by the MediaWiki 1.19.5-1
|
|
# 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
|
|
|
|
# Protect against web entry
|
|
if ( !defined( 'MEDIAWIKI' ) ) {
|
|
exit;
|
|
}
|
|
|
|
# Debugging
|
|
#error_reporting( E_ALL );
|
|
#ini_set( 'display_errors', 1 );
|
|
|
|
## Uncomment this to disable output compression
|
|
# $wgDisableOutputCompression = true;
|
|
|
|
$wgSitename = "Zulip Wiki";
|
|
$wgMetaNamespace = "Project";
|
|
|
|
## 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 = "/w";
|
|
$wgScriptExtension = ".php";
|
|
$wgArticlePath = "/wiki/$1";
|
|
|
|
|
|
## The protocol and server name to use in fully-qualified URLs
|
|
$wgServer = "https://wiki.zulip.net";
|
|
|
|
## 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 = "zulip-devel@googlegroups.com";
|
|
$wgPasswordSender = "zulip-devel@googlegroups.com";
|
|
|
|
$wgEnotifUserTalk = true; # UPO
|
|
$wgEnotifWatchlist = true; # UPO
|
|
$wgEmailAuthentication = false;
|
|
|
|
## Database settings
|
|
$wgDBtype = "postgres";
|
|
$wgDBport = "5432";
|
|
$wgDBserver = "localhost";
|
|
$wgDBname = "wiki";
|
|
$wgDBuser = "wikiuser";
|
|
$wgDBpassword = "xxxxxxxxxx";
|
|
|
|
$wgDBport = "5432";
|
|
$wgDBmwschema = "mediawiki";
|
|
|
|
|
|
# MySQL specific settings
|
|
#$wgDBprefix = "";
|
|
|
|
# MySQL table options to use during installation or update
|
|
#$wgDBTableOptions = "ENGINE=InnoDB, DEFAULT CHARSET=binary";
|
|
|
|
# Experimental charset support for MySQL 5.0.
|
|
$wgDBmysql5 = false;
|
|
|
|
## 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 = true;
|
|
$wgUseImageMagick = true;
|
|
$wgImageMagickConvertCommand = "/usr/bin/convert";
|
|
|
|
# InstantCommons allows wiki to use images from http://commons.wikimedia.org
|
|
$wgUseInstantCommons = true;
|
|
|
|
## 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;
|
|
|
|
## 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";
|
|
|
|
# Site language code, should be one of the list in ./languages/Names.php
|
|
$wgLanguageCode = "en";
|
|
|
|
# Keeping this in git isn't the end of the world, see:
|
|
# <http://www.mediawiki.org/wiki/Manual:$wgSecretKey>
|
|
$wgSecretKey = "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx";
|
|
|
|
# Site upgrade key. Must be set to a string (default provided) to turn on the
|
|
# web installer while LocalSettings.php is in place
|
|
$wgUpgradeKey = "xxxxxxxxxxxxxxxx";
|
|
|
|
## Default skin: you can change the default skin. Use the internal symbolic
|
|
## names, ie 'standard', 'nostalgia', 'cologneblue', 'monobook', 'vector':
|
|
$wgDefaultSkin = "modern";
|
|
|
|
## 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.
|
|
$wgRightsPage = ""; # Set to the title of a wiki page that describes your license/copyright
|
|
$wgRightsUrl = "";
|
|
$wgRightsText = "";
|
|
$wgRightsIcon = "";
|
|
|
|
# Path to the GNU diff3 utility. Used for conflict resolution.
|
|
$wgDiff3 = "/usr/bin/diff3";
|
|
|
|
# debian-specific include:
|
|
if (is_file("/etc/mediawiki-extensions/extensions.php")) {
|
|
include("/etc/mediawiki-extensions/extensions.php");
|
|
}
|
|
|
|
# Query string length limit for ResourceLoader. You should only set this if
|
|
# your web server has a query string length limit (then set it to that limit),
|
|
# or if you have suhosin.get.max_value_length set in php.ini (then set it to
|
|
# that value)
|
|
$wgResourceLoaderMaxQueryLength = -1;
|
|
|
|
# Enabled Extensions. Most extensions are enabled by including the base extension file here
|
|
# but check specific extension documentation for more details
|
|
# The following extensions were automatically enabled:
|
|
require_once( "$IP/extensions/Cite/Cite.php" );
|
|
require_once( "$IP/extensions/Vector/Vector.php" );
|
|
require_once( "$IP/extensions/WikiEditor/WikiEditor.php" );
|
|
|
|
|
|
# End of automatically generated settings.
|
|
# Add more configuration options below.
|
|
$wgAuth = new Auth_remoteuser();
|
|
|
|
|
|
// Don't let anonymous people do things...
|
|
$wgGroupPermissions['*']['createaccount'] = false;
|
|
$wgGroupPermissions['*']['read'] = false;
|
|
$wgGroupPermissions['*']['edit'] = false;
|
|
$wgFileExtensions[] = 'svg';
|