| 
						
					 | 
				
			
			 | 
			 | 
			
				@@ -7,17 +7,16 @@
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				  # "mediawiki"
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				  group = config.users.users.${user}.group;
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				in {
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				  sops.secrets = {
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				    "mediawiki/password" = {
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				  sops.secrets = let
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				    secret = opts: {
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				      restartUnits = [ "mediawiki-init.service" "phpfpm-mediawiki.service" ];
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				      owner = user;
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				      group = group;
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				    };
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				    "keys/postgres/mediawiki" = {
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				      restartUnits = [ "mediawiki-init.service" "phpfpm-mediawiki.service" ];
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				      owner = user;
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				      group = group;
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				    };
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				    } // opts;
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				  in {
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				    "mediawiki/password" = secret { };
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				    "mediawiki/database" = secret { };
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				    "mediawiki/oidc/clientsecret" = secret { };
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				  };
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				  services.mediawiki = {
 | 
			
		
		
	
	
		
			
				
					
					| 
						
					 | 
				
			
			 | 
			 | 
			
				@@ -27,13 +26,12 @@ in {
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				    passwordSender = "drift@pvv.ntnu.no";
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				    database = {
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				      type = "postgres";
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				      host = "postgres.pvv.ntnu.no";
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				      port = config.services.postgresql.port;
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				      passwordFile = config.sops.secrets."keys/postgres/mediawiki".path;
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				      type = "mysql";
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				      host = "mysql.pvv.ntnu.no";
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				      createLocally = false;
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				      # TODO: create a normal database and copy over old data when the service is production ready
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				      name = "mediawiki_test";
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				      user = "bekkalokk_mediawiki_test";
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				      name = "bekkalokk_mediawiki_test";
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				      passwordFile = config.sops.secrets."mediawiki/database".path;
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				    };
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				    # Host through nginx
 | 
			
		
		
	
	
		
			
				
					
					| 
						
					 | 
				
			
			 | 
			 | 
			
				@@ -42,70 +40,51 @@ in {
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				      listenUser = config.services.nginx.user;
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				      listenGroup = config.services.nginx.group;
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				    in {
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				      inherit user group;
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				      # Worker settings
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				      "pm" = "dynamic";
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				      "pm.max_children" = 32;
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				      "pm.max_requests" = 500;
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				      "pm.start_servers" = 2;
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				      "pm.min_spare_servers" = 2;
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				      "pm.max_spare_servers" = 4;
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				      # Socket settings
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				      "listen.owner" = listenUser;
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				      "listen.group" = listenGroup;
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				      "php_admin_value[error_log]" = "stderr";
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				      "php_admin_flag[log_errors]" = "on";
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				      # Misc
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				      "env[PATH]" = lib.makeBinPath [ pkgs.php ];
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				      "catch_workers_output" = true;
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				      # to accept *.html file
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				      "security.limit_extensions" = "";
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				      inherit user group;
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				      # Debug logging
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				      "catch_workers_output" = "yes";
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				      "php_flag[display_errors]" = "on";
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				      "php_admin_value[error_log]" = "stderr";
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				      "php_admin_flag[log_errors]" = "on";
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				    };
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				    extensions = {
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				      DeleteBatch = pkgs.fetchzip {
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				        url = "https://extdist.wmflabs.org/dist/extensions/DeleteBatch-REL1_39-995ea6f.tar.gz";
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
					sha256 = "sha256-0F4GLCy2f5WcWIY2YgF1tVxgYbglR0VOsj/pMrW93b8=";
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				        url = "https://extdist.wmflabs.org/dist/extensions/DeleteBatch-REL1_40-6852fb7.tar.gz";
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				        hash = "sha256-m6l8Cs6mFLu1qfovBFO2l8HhtYZXnpZkajWXNob2wbU=";
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				      };
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				      UserMerge = pkgs.fetchzip {
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				        url = "https://extdist.wmflabs.org/dist/extensions/UserMerge-REL1_39-b10d50e.tar.gz";
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
					sha256 = "sha256-bXhj1+OlOUJDbvEuc8iwqb1LLEu6cN6+C/7cAvnWPOQ=";
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				        url = "https://extdist.wmflabs.org/dist/extensions/UserMerge-REL1_40-56f6dcf.tar.gz";
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				        hash = "sha256-zO7ti7fZPlJp3TXSJbYrXPRyElwO57zoU+RH7LBwVGU=";
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				      };
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				      PluggableAuth = pkgs.fetchzip {
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				        url = "https://extdist.wmflabs.org/dist/extensions/PluggableAuth-REL1_39-1210fc3.tar.gz";
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
					sha256 = "sha256-F6bTMCzkK3kZwZGIsNE87WlZWqXXmTMhEjApO99YKR0=";
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				        url = "https://extdist.wmflabs.org/dist/extensions/PluggableAuth-REL1_40-8104ed9.tar.gz";
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				        hash = "sha256-fFz9+pJ/Ucdg340I/JWe4S/W05oVSfns9EF84rxN8yI=";
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				      };
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				      SimpleSAMLphp = pkgs.fetchzip {
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				        url = "https://extdist.wmflabs.org/dist/extensions/SimpleSAMLphp-REL1_39-dcf0acb.tar.gz";
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				        sha256 = "sha256-tCvFmb2+q2rxms+lRo5pgoI3h6GjCwXAR8XisPg03TQ=";
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				      OpenIDConnect = pkgs.fetchzip {
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				        url = "https://extdist.wmflabs.org/dist/extensions/OpenIDConnect-REL1_40-3edc735.tar.gz";
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				        hash = "sha256-Osp4m2Sp9uGNt3QEmRsw0LA3KQCQzqJosgy3AFs11hY=";
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				      };
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				    };
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				    extraConfig = let
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				      SimpleSAMLphpRepo = pkgs.stdenvNoCC.mkDerivation rec {
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				        pname = "configuredSimpleSAML";
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
					version = "2.0.4";
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				        src = pkgs.fetchzip {
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				          url = "https://github.com/simplesamlphp/simplesamlphp/releases/download/v${version}/simplesamlphp-${version}.tar.gz";
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				          sha256 = "sha256-pfMV/VmqqxgtG7Nx4s8MW4tWSaxOkVPtCRJwxV6RDSE=";
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				        };
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
					buildPhase = ''
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				          cat > config/authsources.php << EOF
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				          <?php
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				          $config = array(
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				            'default-sp' => array(
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				              'saml:SP',
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				              'idp' => 'https://idp.pvv.ntnu.no/',
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				            ),
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				          );
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
					  EOF
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
					'';
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
					installPhase = ''
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
					  cp -r . $out
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
					'';
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				      };
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				    in ''
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				    extraConfig = ''
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				      $wgServer = "https://bekkalokk.pvv.ntnu.no";
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				      $wgLocaltimezone = "Europe/Oslo";
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				
 | 
			
		
		
	
	
		
			
				
					
					| 
						
					 | 
				
			
			 | 
			 | 
			
				@@ -115,61 +94,60 @@ in {
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				      $wgEmailAuthentication = false;
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				      $wgGroupPermissions['*']['createaccount'] = false;
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				      $wgGroupPermissions['*']['autocreateaccount'] = true;
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				      $wgPluggableAuth_EnableAutoLogin = true;
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				      $wgPluggableAuth_EnableAutoLogin = false;
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				      # SSO config
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				      $wgPluggableAuth_Config[] = [
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				          'plugin' => 'OpenIDConnect',
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				          'data' => [
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				              'providerURL' => 'https://git.pvv.ntnu.no/login/oauth/authorize',
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				              'clientID' => 'be86ec39-d89c-4973-a163-633339539db2',
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				              'clientsecret' => file_get_contents('${config.sops.secrets."mediawiki/oidc/clientsecret".path}')
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				          ]
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				      ];
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				      # Disable anonymous editing
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				      $wgGroupPermissions['*']['edit'] = false;
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				      # Styling
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				      $wgLogo = "/PNG/PVV-logo.png";
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				      $wgLogos = [
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				        'svg' => "${../../../assets/logo_blue_regular.svg}",
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				      ];
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				      $wgDefaultSkin = "monobook";
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				      # Enable debugging
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				      error_reporting( -1 );
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				      ini_set( 'display_errors', 1 );
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				      # Misc
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				      $wgEmergencyContact = "${cfg.passwordSender}";
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				      $wgShowIPinHeader = false;
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				      $wgUseTeX = false;
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				      $wgLocalInterwiki = $wgSitename;
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				      # SimpleSAML
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				      $wgSimpleSAMLphp_InstallDir = "${SimpleSAMLphpRepo}";
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				      $wgSimpleSAMLphp_AuthSourceId = "default-sp";
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				      $wgSimpleSAMLphp_RealNameAttribute = "cn";
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				      $wgSimpleSAMLphp_EmailAttribute = "mail";
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				      $wgSimpleSAMLphp_UsernameAttribute = "uid";
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				      # Fix https://github.com/NixOS/nixpkgs/issues/183097
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				      $wgDBserver = "${toString cfg.database.host}";
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				    '';
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				  };
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				  # Override because of https://github.com/NixOS/nixpkgs/issues/183097
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				  systemd.services.mediawiki-init.script = let
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				    # According to module
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				    stateDir = "/var/lib/mediawiki";
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				    pkg = cfg.finalPackage;
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				    mediawikiConfig = config.services.phpfpm.pools.mediawiki.phpEnv.MEDIAWIKI_CONFIG;
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				    inherit (lib) optionalString mkForce;
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				  in mkForce ''
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				    if ! test -e "${stateDir}/secret.key"; then
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				      tr -dc A-Za-z0-9 </dev/urandom 2>/dev/null | head -c 64 > ${stateDir}/secret.key
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				    fi
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				    echo "exit( wfGetDB( DB_MASTER )->tableExists( 'user' ) ? 1 : 0 );" | \
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				    ${pkgs.php}/bin/php ${pkg}/share/mediawiki/maintenance/eval.php --conf ${mediawikiConfig} && \
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				    ${pkgs.php}/bin/php ${pkg}/share/mediawiki/maintenance/install.php \
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				      --confpath /tmp \
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				      --scriptpath / \
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				      --dbserver "${cfg.database.host}" \
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				      --dbport ${toString cfg.database.port} \
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				      --dbname ${cfg.database.name} \
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				      ${optionalString (cfg.database.tablePrefix != null) "--dbprefix ${cfg.database.tablePrefix}"} \
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				      --dbuser ${cfg.database.user} \
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				      ${optionalString (cfg.database.passwordFile != null) "--dbpassfile ${cfg.database.passwordFile}"} \
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				      --passfile ${cfg.passwordFile} \
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				      --dbtype ${cfg.database.type} \
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				      ${cfg.name} \
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				      admin
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				    ${pkgs.php}/bin/php ${pkg}/share/mediawiki/maintenance/update.php --conf ${mediawikiConfig} --quick
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				  '';
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				  # services.nginx.virtualHosts."wiki.pvv.ntnu.no" = {
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				  services.nginx.virtualHosts."bekkalokk.pvv.ntnu.no" = {
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				    forceSSL = true;
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				    enableACME = true;
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				    root = "${cfg.finalPackage}/share/mediawiki";
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				    locations = {
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				      "/" = {
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				        recommendedProxySettings = true;
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				        extraConfig = ''
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				          fastcgi_split_path_info ^(.+\.php)(/.+)$;
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				          fastcgi_index index.php;
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				          fastcgi_pass unix:${config.services.phpfpm.pools.mediawiki.socket};
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				          include ${pkgs.nginx}/conf/fastcgi_params;
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				          include ${pkgs.nginx}/conf/fastcgi.conf;
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				        '';
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				      };
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				      "/images".root = config.services.mediawiki.uploadsDir;
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				    };
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				    
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				  };
 | 
			
		
		
	
		
			
				 | 
				 | 
			
			 | 
			 | 
			
				}
 | 
			
		
		
	
	
		
			
				
					
					| 
						 
							
							
							
						 
					 | 
				
			
			 | 
			 | 
			
				 
 |