chore: bump mediawiki to 1.42.5

wmde · Feb 5, 2025 · bfe144f · bfe144f
1 parent 7779364
commit bfe144f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/build/wikibase/build.env b/build/wikibase/build.env
@@ -5,7 +5,7 @@
 # Update only patch versions for security releases.
 # Choose latest version for major releases.
 # https://releases.wikimedia.org/mediawiki/
-MEDIAWIKI_VERSION=1.42.4
+MEDIAWIKI_VERSION=1.42.5
 
 # ##############################################################################
 # PHP Composer