Adding some extensions

wiki
Lyes Saadi 2025-06-26 13:19:51 +02:00
parent b0ffd3aded
commit dbd523bc85
No known key found for this signature in database
GPG Key ID: 55A1D803917CF39A
1 changed files with 20 additions and 0 deletions

View File

@ -85,10 +85,17 @@ in
# Disable anonymous editing
$wgGroupPermissions['*']['edit'] = false;
$wgGroupPermissions['*']['read'] = false;
# Extensions
$wgWikiEditorRealtimePreview = true;
# Custom Namespaces
define("NS_ARCHIVE", 3000);
define("NS_ARCHIVE_TALK", 3001);
$wgExtraNamespaces[NS_ARCHIVE] = "Archive";
$wgExtraNamespaces[NS_ARCHIVE_TALK] = "Archive_talk";
# Debug
$wgShowExceptionDetails = true;
$wgDebugToolbar = true;
@ -110,10 +117,23 @@ in
# Enables embedded extensions
Math = null;
MultimediaViewer = null;
Nuke = null;
SyntaxHighlight_GeSHi = null;
TemplateData = null;
VisualEditor = null;
WikiEditor = null;
# Bundled with next version, put as null in the next update
TemplateStyles = pkgs.fetchFromGitHub {
name = "TemplateStyles";
owner = "wikimedia";
repo = "mediawiki-extensions-TemplateStyles";
rev = "REL" + major + "_" + minor;
# Le SHA doit être changé à chaque nouveau commit de traduction.
# Pas de meilleure solution à ma connaissance pour suivre les releases.
sha256 = "sha256-fCBccHTIBJrUyxe6oP7VR84HO65ICETE73X4rswQo4c=";
};
# Popups
TextExtracts = null;
PageImages = null;