summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorcsteipp <csteipp@wikimedia.org>2012-11-28 09:44:08 -0800
committerGerrit Code Review <gerrit@wikimedia.org>2012-11-30 01:29:17 +0000
commit978e5cf3b6aeef6fd11171a1f2f86fab3b6b14b3 (patch)
tree9512edcb842361436c7ca806d212357e2fdb1a86
parent385342c6aea95ae6c7f8f0d994382a7c17037030 (diff)
Update release notes and incremented version1.20.1
Change-Id: Icd5e61bfeb34519d65829944af201886fe7e6abc
-rw-r--r--RELEASE-NOTES-1.2011
-rw-r--r--includes/DefaultSettings.php2
2 files changed, 12 insertions, 1 deletions
diff --git a/RELEASE-NOTES-1.20 b/RELEASE-NOTES-1.20
index 79ddce71efb8..4e73628ce99c 100644
--- a/RELEASE-NOTES-1.20
+++ b/RELEASE-NOTES-1.20
@@ -3,6 +3,17 @@
Security reminder: MediaWiki does not require PHP's register_globals
setting since version 1.2.0. If you have it on, turn it '''off''' if you can.
+== MediaWiki 1.20.1 ==
+
+This is a security release of the MediaWiki 1.20 branch
+
+=== Changes since 1.20 ===
+* (bug 40995) Prevent session fixation in Special:UserLogin (CVE-2012-5391)
+* (bug 41400) Prevent linker regex from exceeding PCRE backtrack limit
+* Javscript Lint fixes
+* (bug 40632) Remove CleanupPresentationalAttributes feature
+* [Database] Fixed case where trx idle callbacks might be lost.
+
== MediaWiki 1.20 ==
MediaWiki 1.20 is a stable release.
diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php
index a5407eb7ed9f..ec98cd9f4f79 100644
--- a/includes/DefaultSettings.php
+++ b/includes/DefaultSettings.php
@@ -59,7 +59,7 @@ if( !defined( 'MEDIAWIKI' ) ) {
$wgConf = new SiteConfiguration;
/** MediaWiki version number */
-$wgVersion = '1.20.0';
+$wgVersion = '1.20.1';
/** Name of the site. It must be changed in LocalSettings.php */
$wgSitename = 'MediaWiki';