update to mediawiki 1.39.13

orga_mediawiki/LocalSettings.php

@@ -40,9 +40,7 @@ $wgUsePathInfo      = true;
 $wgScriptExtension  = ".php";
 
 ## The protocol and server name to use in fully-qualified URLs
-# TODO: should be the public domain eventually
 $wgServer = "https://orgawiki.ctbk.de";
-#$wgServer = "http://wiki.chaos:81";
 
 ## The URL path to static resources (images, scripts, etc.)
 $wgResourceBasePath = $wgScriptPath;

orga_mediawiki/composer.local.json

@@ -7,8 +7,8 @@
 	],
 	"require": {
 		"starcitizentools/citizen-skin": "^2.39",
-		"mediawiki/pluggable-auth": "^7",
-		"mediawiki/openidconnect": "^8",
+		"mediawiki/pluggable-auth": "7.0.0",
+		"mediawiki/openidconnect": "8.2.0",
 		"mediawiki/semantic-compound-queries": "^2.2",
 		"mediawiki/semantic-extra-special-properties": "^3",
 		"mediawiki/semantic-media-wiki": "^4.2",