summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authormglaser <glaser@hallowelt.biz>2014-10-01 16:40:02 +0200
committermglaser <glaser@hallowelt.biz>2014-10-01 22:37:34 +0200
commit2ba7175bb17eaa690993b16e710806a4f227a058 (patch)
treef0d6fe7c4e28af0de435e2be59b73faaa9950d54
parentd6a8d34bff2f1fba41050ec057ac34f3f4a6057b (diff)
Updated release notes and version number for MediaWiki 1.23.51.23.5
This is MediaWiki 1.23.5 security release Change-Id: Id27a11a4061b8b1c6c014ca86e77cc1cd028613b
-rw-r--r--RELEASE-NOTES-1.238
-rw-r--r--includes/DefaultSettings.php2
2 files changed, 9 insertions, 1 deletions
diff --git a/RELEASE-NOTES-1.23 b/RELEASE-NOTES-1.23
index 419bc0f73332..f2c7abdec736 100644
--- a/RELEASE-NOTES-1.23
+++ b/RELEASE-NOTES-1.23
@@ -1,6 +1,14 @@
Security reminder: MediaWiki does not require PHP's register_globals. If you
have it on, turn it '''off''' if you can.
+== MediaWiki 1.23.5 ==
+
+This is a security release of the MediaWiki 1.23 branch.
+
+=== Changes since 1.23.4 ===
+* (bug 70672) SECURITY: OutputPage: Remove separation of css and js module
+ allowance.
+
== MediaWiki 1.23.4 ==
This is a security and maintenance release of the MediaWiki 1.23 branch.
diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php
index a47d41fdba7d..69b0cb359831 100644
--- a/includes/DefaultSettings.php
+++ b/includes/DefaultSettings.php
@@ -73,7 +73,7 @@ $wgConfigRegistry = array(
* MediaWiki version number
* @since 1.2
*/
-$wgVersion = '1.23.4';
+$wgVersion = '1.23.5';
/**
* Name of the site. It must be changed in LocalSettings.php