2019-07-27 22:09:37 +02:00
|
|
|
<?php
|
2023-09-03 22:27:02 +02:00
|
|
|
# This file was automatically generated by the MediaWiki 1.40.0
|
2019-07-27 22:09:37 +02:00
|
|
|
# installer. If you make manual changes, please keep track in case you
|
|
|
|
# need to recreate them later.
|
|
|
|
#
|
2023-09-03 22:27:02 +02:00
|
|
|
# See includes/MainConfigSchema.php for all configurable settings
|
2019-07-27 22:09:37 +02:00
|
|
|
# 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:
|
|
|
|
# https://www.mediawiki.org/wiki/Manual:Configuration_settings
|
|
|
|
|
|
|
|
# Protect against web entry
|
|
|
|
if ( !defined( 'MEDIAWIKI' ) ) {
|
2020-06-10 17:28:54 +02:00
|
|
|
exit;
|
2019-07-27 22:09:37 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
## Uncomment this to disable output compression
|
|
|
|
# $wgDisableOutputCompression = true;
|
|
|
|
|
|
|
|
$wgSitename = "__WIKI_NAME__";
|
2023-09-03 22:27:02 +02:00
|
|
|
$wgMetaNamespace = "__WIKI_NAME_UNDERSCORIFIED__";
|
2019-07-27 22:09:37 +02:00
|
|
|
|
|
|
|
## 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
|
|
|
|
## (like /w/index.php/Page_title to /wiki/Page_title) please see:
|
|
|
|
## https://www.mediawiki.org/wiki/Manual:Short_URL
|
2022-04-13 01:23:40 +02:00
|
|
|
$wgScriptPath = "__MEDIAWIKI_PATH__";
|
2019-07-27 22:09:37 +02:00
|
|
|
|
|
|
|
## The protocol and server name to use in fully-qualified URLs
|
|
|
|
$wgServer = "https://__DOMAIN__";
|
|
|
|
|
|
|
|
## The URL path to static resources (images, scripts, etc.)
|
|
|
|
$wgResourceBasePath = $wgScriptPath;
|
|
|
|
|
2020-06-10 17:28:54 +02:00
|
|
|
## The URL paths to the logo. Make sure you change this from the default,
|
2019-07-27 22:09:37 +02:00
|
|
|
## or else you'll overwrite your logo when you upgrade!
|
2023-09-03 22:27:02 +02:00
|
|
|
$wgLogos = [
|
|
|
|
'1x' => "$wgResourceBasePath/resources/assets/wiki.png",
|
|
|
|
'icon' => "$wgResourceBasePath/resources/assets/change-your-logo-icon.svg",
|
|
|
|
];
|
2019-07-27 22:09:37 +02:00
|
|
|
|
|
|
|
## UPO means: this is also a user preference option
|
|
|
|
|
|
|
|
$wgEnableEmail = true;
|
|
|
|
$wgEnableUserEmail = true; # UPO
|
|
|
|
|
|
|
|
$wgEmergencyContact = "__ADMIN__@__DOMAIN__";
|
|
|
|
$wgPasswordSender = "__ADMIN__@__DOMAIN__";
|
|
|
|
|
|
|
|
$wgEnotifUserTalk = false; # UPO
|
|
|
|
$wgEnotifWatchlist = false; # UPO
|
|
|
|
$wgEmailAuthentication = true;
|
|
|
|
|
|
|
|
## Database settings
|
|
|
|
$wgDBtype = "mysql";
|
|
|
|
$wgDBserver = "";
|
|
|
|
$wgDBname = "__DB_NAME__";
|
|
|
|
$wgDBuser = "__DB_USER__";
|
|
|
|
$wgDBpassword = "__DB_PWD__";
|
|
|
|
|
|
|
|
# MySQL specific settings
|
|
|
|
$wgDBprefix = "mdk_";
|
|
|
|
|
|
|
|
# MySQL table options to use during installation or update
|
|
|
|
$wgDBTableOptions = "ENGINE=InnoDB, DEFAULT CHARSET=binary";
|
|
|
|
|
2023-09-04 14:01:46 +02:00
|
|
|
# Shared database table
|
|
|
|
# This has no effect unless $wgSharedDB is also set.
|
|
|
|
$wgSharedTables[] = "actor";
|
|
|
|
|
2019-07-27 22:09:37 +02:00
|
|
|
## Shared memory settings
|
|
|
|
$wgMainCacheType = CACHE_NONE;
|
|
|
|
$wgMemCachedServers = [];
|
|
|
|
|
|
|
|
## To enable image uploads, make sure the 'images' directory
|
|
|
|
## is writable, then set this to true:
|
2020-06-10 17:31:21 +02:00
|
|
|
$wgEnableUploads = true;
|
2019-07-27 22:09:37 +02:00
|
|
|
$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.
|
2023-05-28 15:00:55 +02:00
|
|
|
$wgPingback = false;
|
2019-07-27 22:09:37 +02:00
|
|
|
|
2023-09-03 22:27:02 +02:00
|
|
|
# Site language code, should be one of the list in ./includes/languages/data/Names.php
|
|
|
|
$wgLanguageCode = "__LANGUAGE__";
|
|
|
|
|
|
|
|
# Time zone
|
|
|
|
$wgLocaltimezone = "UTC";
|
2019-07-27 22:09:37 +02:00
|
|
|
|
|
|
|
## Set $wgCacheDirectory to a writable directory on the web server
|
|
|
|
## to make your wiki go slightly faster. The directory should not
|
2020-06-10 17:31:21 +02:00
|
|
|
## be publicly accessible from the web.
|
2019-07-27 22:09:37 +02:00
|
|
|
#$wgCacheDirectory = "$IP/cache";
|
|
|
|
|
|
|
|
$wgSecretKey = "__SECRET__";
|
|
|
|
|
|
|
|
# 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 = "5f274549882531d1";
|
|
|
|
|
|
|
|
## 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";
|
|
|
|
|
|
|
|
## Default skin: you can change the default skin. Use the internal symbolic
|
2023-09-03 22:27:02 +02:00
|
|
|
## names, e.g. 'vector' or 'monobook':
|
2019-07-27 22:09:37 +02:00
|
|
|
$wgDefaultSkin = "vector";
|
|
|
|
|
|
|
|
# Enabled skins.
|
|
|
|
# The following skins were automatically enabled:
|
2023-09-03 22:27:02 +02:00
|
|
|
wfLoadSkin( 'MinervaNeue' );
|
2019-07-27 22:09:37 +02:00
|
|
|
wfLoadSkin( 'MonoBook' );
|
|
|
|
wfLoadSkin( 'Timeless' );
|
|
|
|
wfLoadSkin( 'Vector' );
|
|
|
|
|
2023-09-03 22:27:02 +02:00
|
|
|
|
2019-07-27 22:09:37 +02:00
|
|
|
# End of automatically generated settings.
|
|
|
|
# Add more configuration options below.
|
|
|
|
|
2023-09-04 15:06:13 +02:00
|
|
|
# LDAP Settings
|
|
|
|
# See https://www.mediawiki.org/wiki/Manual:Active_Directory_Integration
|
2019-07-27 22:09:37 +02:00
|
|
|
|
2023-09-04 15:06:13 +02:00
|
|
|
# wfLoadExtension( 'LDAPAuthorization' );
|
|
|
|
wfLoadExtension( 'LDAPAuthentication2' );
|
|
|
|
wfLoadExtension( 'LDAPGroups' );
|
2019-07-27 22:09:37 +02:00
|
|
|
wfLoadExtension( 'LDAPProvider' );
|
2023-09-04 15:06:13 +02:00
|
|
|
wfLoadExtension( 'LDAPUserInfo' );
|
2019-07-27 22:09:37 +02:00
|
|
|
wfLoadExtension( 'PluggableAuth' );
|
2023-09-04 15:06:13 +02:00
|
|
|
wfLoadExtension( 'Auth_remoteuser' );
|
2019-07-27 22:09:37 +02:00
|
|
|
|
2023-09-04 15:06:13 +02:00
|
|
|
# Yunohost configuration values for config_panel
|
|
|
|
$public_wiki = __PUBLIC_WIKI__;
|
|
|
|
$local_accounts = __LOCAL_ACCOUNTS__;
|
|
|
|
$yunohost_accounts = __YUNOHOST_ACCOUNTS__;
|
|
|
|
|
|
|
|
# Configuration of the generic PluggableAuth extension
|
|
|
|
$wgPluggableAuth_EnableLocalLogin = $local_accounts;
|
2019-08-07 12:56:21 +02:00
|
|
|
$wgPluggableAuth_EnableLocalProperties = true;
|
2023-09-04 15:06:13 +02:00
|
|
|
$wgPluggableAuth_EnableFastLogout = true;
|
|
|
|
# $wgPluggableAuth_ButtonLabel = "Log In";
|
2019-08-07 12:49:12 +02:00
|
|
|
|
2023-09-04 15:06:13 +02:00
|
|
|
# Configuration of the Yunohost LDAP+SSO
|
|
|
|
if ($yunohost_accounts) {
|
|
|
|
$LDAPProviderDomainConfigs = "$IP/ldapproviders.json";
|
|
|
|
$LDAPProviderDefaultDomain = "yunohost.local";
|
2019-07-27 22:09:37 +02:00
|
|
|
|
2023-09-04 15:06:13 +02:00
|
|
|
$wgPluggableAuth_Config["Log In with Yunohost"] = [
|
|
|
|
"plugin" => "LDAPAuthentication2",
|
|
|
|
"data" => [ "domain" => "yunohost.local" ]
|
|
|
|
];
|
2019-07-27 22:09:37 +02:00
|
|
|
|
2023-09-04 15:06:13 +02:00
|
|
|
$wgAuthRemoteuserUserUrls = [
|
|
|
|
'logout' => 'https://__DOMAIN__/yunohost/sso/?action=logout'
|
|
|
|
];
|
|
|
|
}
|
2019-07-27 22:09:37 +02:00
|
|
|
|
2023-09-04 15:06:13 +02:00
|
|
|
# Auth_remoteuser will read the REMOTE_USER http header (for Yunohost SSO)
|
|
|
|
$wgAuthRemoteuserUserName = [
|
|
|
|
getenv('REMOTE_USER'),
|
|
|
|
];
|
2019-07-27 22:09:37 +02:00
|
|
|
|
2023-09-04 15:06:13 +02:00
|
|
|
# Allow users to login as other than SSO logged in user
|
|
|
|
$wgAuthRemoteuserAllowUserSwitch = true;
|
2019-07-27 22:09:37 +02:00
|
|
|
|
2023-09-04 15:06:13 +02:00
|
|
|
# $wgEmailConfirmToEdit = false;
|
|
|
|
$wgGroupPermissions['*']['edit'] = $public_wiki;
|
|
|
|
$wgGroupPermissions['*']['read'] = $public_wiki;
|
|
|
|
$wgGroupPermissions['*']['createaccount'] = $local_accounts;
|
|
|
|
$wgGroupPermissions['*']['autocreateaccount'] = true;
|
|
|
|
$wgBlockDisablesLogin = true;
|