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.
|
|
|
|
|
2020-06-10 17:31:21 +02:00
|
|
|
# Enabled extensions. Most of the extensions are enabled by adding
|
|
|
|
# wfLoadExtensions('ExtensionName');
|
|
|
|
# to LocalSettings.php. Check specific extension documentation for more details.
|
2019-07-27 22:09:37 +02:00
|
|
|
|
|
|
|
# LDAPProvider
|
|
|
|
# https://www.mediawiki.org/wiki/Extension:LDAPProvider
|
|
|
|
wfLoadExtension( 'LDAPProvider' );
|
|
|
|
|
|
|
|
# PluggableAuth
|
|
|
|
# https://www.mediawiki.org/wiki/Extension:PluggableAuth
|
|
|
|
wfLoadExtension( 'PluggableAuth' );
|
|
|
|
|
2019-08-07 12:49:12 +02:00
|
|
|
$wgPluggableAuth_EnableLocalLogin = true;
|
2019-08-07 12:56:21 +02:00
|
|
|
$wgPluggableAuth_EnableLocalProperties = true;
|
2019-08-07 12:49:12 +02:00
|
|
|
|
2019-07-27 22:09:37 +02:00
|
|
|
# LDAPAuthentication2
|
|
|
|
# https://www.mediawiki.org/wiki/Extension:LDAPAuthentication2
|
|
|
|
wfLoadExtension( 'LDAPAuthentication2' );
|
|
|
|
|
|
|
|
# Note(decentral1se): leaving here in case we need them one day
|
|
|
|
# LDAPGroups
|
|
|
|
# https://www.mediawiki.org/wiki/Extension:LDAPGroups
|
|
|
|
# wfLoadExtension( 'LDAPGroups' );
|
|
|
|
|
|
|
|
# Note(decentral1se): leaving here in case we need them one day
|
|
|
|
# LDAPUserInfo
|
|
|
|
# https://www.mediawiki.org/wiki/Extension:LDAPUserInfo
|
|
|
|
# wfLoadExtension( 'LDAPUserInfo' );
|
|
|
|
|
|
|
|
# Note(decentral1se): leaving here in case we need them one day
|
|
|
|
# LDAPAuthorization
|
|
|
|
# https://www.mediawiki.org/wiki/Extension:LDAPAuthorization
|
|
|
|
# wfLoadExtension( 'LDAPAuthorization' );
|
|
|
|
|
|
|
|
# LDAP configuration
|
|
|
|
$LDAPProviderDomainConfigProvider = function() {
|
|
|
|
$config = [
|
|
|
|
"LDAP" => [
|
|
|
|
"connection" => [
|
|
|
|
"server" => "localhost",
|
|
|
|
"port" => "389",
|
|
|
|
"basedn" => "dc=yunohost,dc=org",
|
2020-12-16 22:30:16 +01:00
|
|
|
"groupbasedn" => "ou=users,dc=yunohost,dc=org",
|
|
|
|
"userbasedn" => "ou=groups,dc=yunohost,dc=org",
|
2019-07-27 22:09:37 +02:00
|
|
|
"searchattribute" => "uid",
|
|
|
|
"usernameattribute" => "uid",
|
|
|
|
"realnameattribute" => "cn",
|
|
|
|
"emailattribute" => "mail"
|
|
|
|
]
|
|
|
|
]
|
|
|
|
];
|
|
|
|
|
|
|
|
return new \MediaWiki\Extension\LDAPProvider\DomainConfigProvider\InlinePHPArray( $config );
|
|
|
|
};
|
2023-07-24 22:22:26 +02:00
|
|
|
$createaccount = __CREATE_ACCOUNT__;
|
2023-07-24 22:13:54 +02:00
|
|
|
$wgGroupPermissions['*']['createaccount'] = $createaccount;
|