mirror of
https://github.com/zulip/zulip.git
synced 2025-11-02 21:13:36 +00:00
36e336edc3
The old "zulip_internal" name was from back when Zulip, Inc. had two distributions of Zulip, the enterprise distribution in puppet/zulip/ and the "internal" SAAS distribution in puppet/zulip_internal. I think the name is a bit confusing in the new fully open-source Zulip work, so we're replacing it with "zulip_ops". I don't think the new name is perfect, but it's better. In the following commits, we'll delete a bunch of pieces of Zulip, Inc.'s infrastructure that don't exist anymore and thus are no longer useful (e.g. the old Trac configuration), with the goal of cleaning the repository of as much unnecessary content as possible.
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';
|