MediaWikiSetup.php: Update to 1.42.3 (#4594)

I forgot to this a long time ago.

See https://lists.wikimedia.org/hyperkitty/list/mediawiki-announce@lists.wikimedia.org/message/BXVG7SF3DTZTPOENKXEKWC3ZEOHS4NTG/

web/src/app/WebApp/Installers/MediaWiki/MediaWikiSetup.php

@@ -11,7 +11,7 @@ class MediaWikiSetup extends BaseSetup {
 		"name" => "MediaWiki",
 		"group" => "cms",
 		"enabled" => true,
-		"version" => "1.41.1",
+		"version" => "1.42.3",
 		"thumbnail" => "MediaWiki-2020-logo.svg", //Max size is 300px by 300px
 	];
 
@@ -27,7 +27,7 @@ class MediaWikiSetup extends BaseSetup {
 		"database" => true,
 		"resources" => [
 			"archive" => [
-				"src" => "https://releases.wikimedia.org/mediawiki/1.41/mediawiki-1.41.1.zip",
+				"src" => "https://releases.wikimedia.org/mediawiki/1.42/mediawiki-1.42.3.zip",
 			],
 		],
 		"server" => [
@@ -61,7 +61,7 @@ class MediaWikiSetup extends BaseSetup {
 
 		$this->appcontext->runUser(
 			"v-copy-fs-directory",
-			[$this->getDocRoot($this->extractsubdir . "/mediawiki-1.41.1/."), $this->getDocRoot()],
+			[$this->getDocRoot($this->extractsubdir . "/mediawiki-1.42.3/."), $this->getDocRoot()],
 			$result,
 		);