2023-11-26 02:59:36 +01:00
|
|
|
{ config, lib, libC, pkgs, ... }:
|
2022-07-27 22:32:44 +02:00
|
|
|
|
2023-01-07 02:42:09 +01:00
|
|
|
let
|
|
|
|
cfg = config.services.mediawiki;
|
|
|
|
in
|
2022-06-23 01:32:21 +02:00
|
|
|
{
|
2023-07-10 16:33:08 +02:00
|
|
|
assertions = [
|
|
|
|
{
|
|
|
|
assertion = lib.versions.majorMinor pkgs.mediawiki.version != 1.40;
|
|
|
|
# https://www.mediawiki.org/wiki/Version_lifecycle
|
|
|
|
message = "Please keep mediawiki on LTS versions which is required by the LDAP extension";
|
|
|
|
}
|
|
|
|
];
|
2022-12-18 22:16:29 +01:00
|
|
|
c3d2.deployment.server = "server10";
|
|
|
|
|
2023-01-07 04:36:05 +01:00
|
|
|
microvm.mem = 1024;
|
|
|
|
|
|
|
|
networking = {
|
|
|
|
firewall.allowedTCPPorts = [ 80 443 ]; # httpd, not nginx :(
|
|
|
|
hostName = "mediawiki";
|
|
|
|
};
|
2022-06-28 20:43:16 +02:00
|
|
|
|
2023-01-07 02:42:09 +01:00
|
|
|
services = {
|
2023-05-18 01:55:16 +02:00
|
|
|
backup.paths = [ "/var/lib/mediawiki/uploads/" ];
|
|
|
|
|
2023-01-07 02:42:09 +01:00
|
|
|
logrotate.checkConfig = false;
|
2022-06-28 20:43:16 +02:00
|
|
|
|
2023-01-07 02:42:09 +01:00
|
|
|
mediawiki = {
|
2022-06-23 01:32:21 +02:00
|
|
|
enable = true;
|
2023-11-10 21:48:50 +01:00
|
|
|
database = {
|
|
|
|
type = "postgres";
|
|
|
|
socket = "/run/postgresql";
|
|
|
|
};
|
|
|
|
|
|
|
|
# see https://extdist.wmflabs.org/dist/extensions/ for list of extensions
|
|
|
|
# save them on https://web.archive.org/save and copy the final URL below
|
|
|
|
extensions = {
|
|
|
|
Lockdown = pkgs.fetchzip {
|
|
|
|
url = "https://web.archive.org/web/20230710141042/https://extdist.wmflabs.org/dist/extensions/Lockdown-REL1_40-7d900ed.tar.gz";
|
|
|
|
sha256 = "sha256-TgoL9IcwY4EBNUsoVBqpUehVO7TEDT22FoH7Ep4dMxw=";
|
|
|
|
};
|
|
|
|
# TODO: replace with https://www.mediawiki.org/wiki/Extension:DynamicPageList3
|
|
|
|
intersection = pkgs.fetchzip {
|
|
|
|
url = "https://web.archive.org/web/20230710142223/https://extdist.wmflabs.org/dist/extensions/intersection-REL1_40-f3c1559.tar.gz";
|
|
|
|
sha256 = "sha256-/Ap56EOfsAlx/gkN8Y+NdU28yuZsZmrrBMmuNoi88/A=";
|
|
|
|
};
|
|
|
|
# requires PluggableAuth
|
|
|
|
LDAPAuthentication2 =
|
|
|
|
let
|
|
|
|
src = pkgs.fetchzip {
|
|
|
|
url = "https://web.archive.org/web/20230710142325/https://extdist.wmflabs.org/dist/extensions/LDAPAuthentication2-REL1_40-2864ae9.tar.gz";
|
|
|
|
sha256 = "sha256-LWXpmgzUpgEaPe/4cwF2cmJxPkW8ywT7gRAlB58mDfY=";
|
|
|
|
};
|
|
|
|
in
|
|
|
|
# TODO: remove with next release
|
|
|
|
pkgs.runCommand "LDAPAuthentication2" { } ''
|
|
|
|
mkdir $out
|
|
|
|
cp -r ${src}/* $out
|
|
|
|
sed 's/"PluggableAuth": "6.*"/"PluggableAuth": "*"/g' -i $out/extension.json
|
|
|
|
'';
|
|
|
|
LDAPProvider = pkgs.fetchzip {
|
|
|
|
url = "https://web.archive.org/web/20230710141035/https://extdist.wmflabs.org/dist/extensions/LDAPProvider-REL1_40-99edc23.tar.gz";
|
|
|
|
sha256 = "sha256-DYq5CCm//rc6Mei9K6S2Ue+hzz6PYHnwpbJouFS5j+o=";
|
|
|
|
};
|
|
|
|
PluggableAuth = pkgs.fetchzip {
|
|
|
|
url = "https://web.archive.org/web/20230710142618/https://extdist.wmflabs.org/dist/extensions/PluggableAuth-REL1_40-519c6d2.tar.gz";
|
|
|
|
sha256 = "sha256-N1+OV1UdzvU4iXhaS/+fuEoAXqrkVyyEPDirk0vrT8A=";
|
|
|
|
};
|
|
|
|
};
|
2023-11-26 02:59:36 +01:00
|
|
|
|
|
|
|
name = "C3D2";
|
|
|
|
nginx.hostName = "wiki.c3d2.de";
|
2023-11-10 21:48:50 +01:00
|
|
|
|
2022-06-23 01:32:21 +02:00
|
|
|
#skins = {
|
2023-11-10 21:48:50 +01:00
|
|
|
# Vector = "${config.services.mediawiki.package}/share/mediawiki/skins/Vector";
|
|
|
|
# Hector = "${config.services.mediawiki.package}/share/mediawiki/skins/Hector";
|
2022-06-23 01:32:21 +02:00
|
|
|
#};
|
2023-11-10 21:48:50 +01:00
|
|
|
|
|
|
|
# initial admin user password
|
|
|
|
passwordFile = config.sops.secrets."mediawiki/adminPassword".path;
|
|
|
|
uploadsDir = "/var/lib/mediawiki/uploads";
|
2023-11-26 02:59:36 +01:00
|
|
|
webserver = "nginx";
|
2022-06-28 20:43:16 +02:00
|
|
|
|
2023-07-10 16:33:08 +02:00
|
|
|
extraConfig = /* php */ ''
|
2023-11-26 02:59:36 +01:00
|
|
|
$wgAllowUserCss = true;
|
2023-07-10 16:33:08 +02:00
|
|
|
$wgDBmwschema = "mediawiki";
|
2023-11-26 02:59:36 +01:00
|
|
|
$wgEnableAPI = true;
|
|
|
|
$wgEnableMWSuggest = true;
|
|
|
|
$wgShowExceptionDetails = true;
|
|
|
|
$wgUseAjax = true;
|
2022-06-28 20:43:16 +02:00
|
|
|
|
2023-12-01 20:27:26 +01:00
|
|
|
$wgFavicon = "https://c3d2.de/favicon.ico";
|
|
|
|
$wgLogos = [
|
|
|
|
'icon' => "https://www.c3d2.de/images/ck.png",
|
|
|
|
];
|
2022-06-23 01:32:21 +02:00
|
|
|
$wgEmergencyContact = "wiki@c3d2.de";
|
|
|
|
$wgPasswordSender = "wiki@c3d2.de";
|
|
|
|
$wgLanguageCode = "de";
|
2022-06-28 20:43:16 +02:00
|
|
|
|
2022-06-23 01:32:21 +02:00
|
|
|
$wgGroupPermissions['*']['edit'] = false;
|
|
|
|
$wgGroupPermissions['user']['edit'] = true;
|
|
|
|
$wgGroupPermissions['sysop']['userrights'] = true;
|
2022-06-28 20:43:16 +02:00
|
|
|
|
2022-06-23 01:32:21 +02:00
|
|
|
define("NS_INTERN", 100);
|
|
|
|
define("NS_INTERN_TALK", 101);
|
2022-06-28 20:43:16 +02:00
|
|
|
|
2022-06-23 01:32:21 +02:00
|
|
|
$wgExtraNamespaces[NS_INTERN] = "Intern";
|
|
|
|
$wgExtraNamespaces[NS_INTERN_TALK] = "Intern_Diskussion";
|
2022-06-28 20:43:16 +02:00
|
|
|
|
2023-07-10 16:33:08 +02:00
|
|
|
$wgGroupPermissions['intern']['move'] = true;
|
2022-06-23 01:32:21 +02:00
|
|
|
$wgGroupPermissions['intern']['move-subpages'] = true;
|
|
|
|
$wgGroupPermissions['intern']['move-rootuserpages'] = true; // can move root userpages
|
2023-07-10 16:33:08 +02:00
|
|
|
$wgGroupPermissions['intern']['read'] = true;
|
|
|
|
$wgGroupPermissions['intern']['edit'] = true;
|
|
|
|
$wgGroupPermissions['intern']['createpage'] = true;
|
|
|
|
$wgGroupPermissions['intern']['createtalk'] = true;
|
|
|
|
$wgGroupPermissions['intern']['writeapi'] = true;
|
|
|
|
$wgGroupPermissions['intern']['upload'] = true;
|
|
|
|
$wgGroupPermissions['intern']['reupload'] = true;
|
|
|
|
$wgGroupPermissions['intern']['reupload-shared'] = true;
|
|
|
|
$wgGroupPermissions['intern']['minoredit'] = true;
|
|
|
|
$wgGroupPermissions['intern']['purge'] = true; // can use ?action=purge without clicking "ok"
|
|
|
|
$wgGroupPermissions['intern']['sendemail'] = true;
|
2022-06-28 20:43:16 +02:00
|
|
|
|
2022-06-23 01:32:21 +02:00
|
|
|
$wgNamespacePermissionLockdown[NS_INTERN]['*'] = array('intern');
|
|
|
|
$wgNamespacePermissionLockdown[NS_INTERN_TALK]['*'] = array('intern');
|
2022-06-28 20:43:16 +02:00
|
|
|
|
2022-06-29 00:06:28 +02:00
|
|
|
define("NS_I4R", 102);
|
|
|
|
define("NS_I4R_TALK", 103);
|
|
|
|
$wgExtraNamespaces[NS_I4R] = "IT4Refugees";
|
|
|
|
$wgExtraNamespaces[NS_I4R_TALK] = "IT4Refugees_Diskussion";
|
|
|
|
$wgGroupPermissions['i4r']['move'] = true;
|
|
|
|
$wgGroupPermissions['i4r']['move-subpages'] = true;
|
|
|
|
$wgGroupPermissions['i4r']['move-rootuserpages'] = true; // can move root userpages
|
|
|
|
$wgGroupPermissions['i4r']['read'] = true;
|
|
|
|
$wgGroupPermissions['i4r']['edit'] = true;
|
|
|
|
$wgGroupPermissions['i4r']['createpage'] = true;
|
|
|
|
$wgGroupPermissions['i4r']['createtalk'] = true;
|
|
|
|
$wgGroupPermissions['i4r']['writeapi'] = true;
|
|
|
|
$wgGroupPermissions['i4r']['upload'] = true;
|
|
|
|
$wgGroupPermissions['i4r']['reupload'] = true;
|
|
|
|
$wgGroupPermissions['i4r']['reupload-shared'] = true;
|
|
|
|
$wgGroupPermissions['i4r']['minoredit'] = true;
|
|
|
|
$wgGroupPermissions['i4r']['purge'] = true; // can use ?action=purge without clicking "ok"
|
|
|
|
$wgGroupPermissions['i4r']['sendemail'] = true;
|
|
|
|
$wgNamespacePermissionLockdown[NS_I4R]['*'] = array('i4r');
|
|
|
|
$wgNamespacePermissionLockdown[NS_I4R_TALK]['*'] = array('i4r');
|
|
|
|
|
|
|
|
$wgGroupPermissions['sysop']['deletelogentry'] = true;
|
|
|
|
$wgGroupPermissions['sysop']['deleterevision'] = true;
|
|
|
|
|
2022-07-03 22:45:19 +02:00
|
|
|
wfLoadExtension('ConfirmEdit/QuestyCaptcha');
|
|
|
|
$wgCaptchaClass = 'QuestyCaptcha';
|
|
|
|
$wgCaptchaQuestions[] = array( 'question' => 'How is C3D2 logo in ascii?', 'answer' => '<<</>>' );
|
|
|
|
|
2023-07-10 12:14:21 +02:00
|
|
|
wfLoadExtension( 'Interwiki' );
|
|
|
|
$wgGroupPermissions['sysop']['interwiki'] = true;
|
|
|
|
|
2023-07-10 16:33:08 +02:00
|
|
|
wfLoadExtension('Cite');
|
|
|
|
wfLoadExtension('CiteThisPage');
|
|
|
|
wfLoadExtension('ConfirmEdit');
|
|
|
|
wfLoadExtension('ParserFunctions');
|
|
|
|
wfLoadExtension('WikiEditor');
|
2022-06-29 00:06:28 +02:00
|
|
|
|
2023-07-10 16:33:08 +02:00
|
|
|
// TODO: what about $wgUpgradeKey ?
|
|
|
|
|
|
|
|
// TODO: does this even work?
|
|
|
|
// https://www.mediawiki.org/wiki/Extension:Scribunto#Requirements mentions quite some extra steps which we didn't do
|
|
|
|
wfLoadExtension('Scribunto');
|
2022-06-29 00:06:28 +02:00
|
|
|
$wgScribuntoDefaultEngine = 'luastandalone';
|
2022-08-07 14:58:25 +02:00
|
|
|
|
2022-08-07 20:55:11 +02:00
|
|
|
# LDAP
|
2022-08-07 14:58:25 +02:00
|
|
|
$LDAPProviderDomainConfigs = "${config.sops.secrets."mediawiki/ldapprovider".path}";
|
2022-08-07 20:55:11 +02:00
|
|
|
$wgPluggableAuth_EnableLocalLogin = true;
|
2022-06-23 01:32:21 +02:00
|
|
|
'';
|
|
|
|
};
|
2023-01-07 02:42:09 +01:00
|
|
|
|
2023-11-26 02:59:36 +01:00
|
|
|
nginx = {
|
|
|
|
enable = true;
|
|
|
|
commonHttpConfig = ''
|
|
|
|
# for some reason nginx adds a port for the 301 redirect from / to /wiki/
|
|
|
|
port_in_redirect off;
|
|
|
|
'';
|
|
|
|
virtualHosts."wiki.c3d2.de" = {
|
|
|
|
enableACME = true;
|
|
|
|
forceSSL = true;
|
|
|
|
listen = libC.defaultListen;
|
2023-11-26 21:51:21 +01:00
|
|
|
locations."/".extraConfig = lib.mkForce ''
|
|
|
|
return 307 /wiki$request_uri;
|
|
|
|
'';
|
2023-11-26 02:59:36 +01:00
|
|
|
};
|
|
|
|
};
|
|
|
|
|
2023-01-07 04:36:05 +01:00
|
|
|
phpfpm.phpPackage = pkgs.php.buildEnv {
|
|
|
|
extensions = { all, enabled }: enabled ++ (with all; [ apcu ]);
|
|
|
|
};
|
|
|
|
|
2023-01-07 02:42:09 +01:00
|
|
|
postgresql = {
|
|
|
|
enable = true;
|
|
|
|
ensureDatabases = [ cfg.database.name ];
|
|
|
|
ensureUsers = [{
|
|
|
|
name = cfg.database.user;
|
|
|
|
ensurePermissions = { "DATABASE ${cfg.database.name}" = "ALL PRIVILEGES"; };
|
|
|
|
}];
|
2023-09-27 00:01:22 +02:00
|
|
|
package = pkgs.postgresql_16;
|
2023-11-26 02:59:36 +01:00
|
|
|
upgrade.stopServices = [ "phpfpm-mediawiki" ];
|
2023-01-07 02:42:09 +01:00
|
|
|
};
|
|
|
|
};
|
|
|
|
|
|
|
|
sops = {
|
|
|
|
age.sshKeyPaths = [ "/etc/ssh/ssh_host_ed25519_key" ];
|
|
|
|
defaultSopsFile = ./secrets.yaml;
|
|
|
|
secrets = {
|
2023-05-16 23:17:15 +02:00
|
|
|
"mediawiki/adminPassword".owner = config.systemd.services.mediawiki-init.serviceConfig.User;
|
|
|
|
"mediawiki/ldapprovider".owner = config.systemd.services.mediawiki-init.serviceConfig.User;
|
2023-01-07 02:42:09 +01:00
|
|
|
"mediawiki/secretKey" = {
|
|
|
|
owner = config.systemd.services.mediawiki-init.serviceConfig.User;
|
|
|
|
path = "/var/lib/mediawiki/secret.key";
|
|
|
|
};
|
2023-05-16 23:17:15 +02:00
|
|
|
"mediawiki/upgradeKey".owner = config.systemd.services.mediawiki-init.serviceConfig.User;
|
2023-01-07 02:42:09 +01:00
|
|
|
};
|
|
|
|
};
|
|
|
|
|
|
|
|
system.stateVersion = "22.05";
|
|
|
|
|
|
|
|
systemd.services.mediawiki-init = {
|
|
|
|
after = [ "postgresql.service" ];
|
|
|
|
requires = [ "postgresql.service" ];
|
|
|
|
};
|
2022-06-23 01:32:21 +02:00
|
|
|
}
|