diff options
author | csteipp <csteipp@wikimedia.org> | 2014-01-27 16:58:44 -0800 |
---|---|---|
committer | csteipp <csteipp@wikimedia.org> | 2014-01-28 13:40:09 -0800 |
commit | 2c0a317e5ea3dac2ea9ec016a703e81d16603ec5 (patch) | |
tree | 03666c0a233878038ae3b22cb108557a4ff0e246 | |
parent | 4eee5ec8e14f5cad43d2379906054f418bd973b5 (diff) |
Update release notes and version number1.19.11
Change-Id: I123d614f04b31777b13edbc930fedfaa7203e81d
-rw-r--r-- | RELEASE-NOTES-1.19 | 7 | ||||
-rw-r--r-- | includes/DefaultSettings.php | 2 |
2 files changed, 8 insertions, 1 deletions
diff --git a/RELEASE-NOTES-1.19 b/RELEASE-NOTES-1.19 index e6d3de0d59cf..6d3667080399 100644 --- a/RELEASE-NOTES-1.19 +++ b/RELEASE-NOTES-1.19 @@ -3,6 +3,13 @@ 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.19.11 == + +This is a security release of the MediaWiki 1.19 branch. + +=== Changes since 1.19.10 === +* (bug 60339) SECURITY: Sanitize shell arguments to DjVu files, and other media formats + == MediaWiki 1.19.10 == This is a security release of the MediaWiki 1.19 branch. diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php index 6a099db7c6ca..6837d20fe01c 100644 --- a/includes/DefaultSettings.php +++ b/includes/DefaultSettings.php @@ -33,7 +33,7 @@ $wgConf = new SiteConfiguration; /** @endcond */ /** MediaWiki version number */ -$wgVersion = '1.19.10'; +$wgVersion = '1.19.11'; /** Name of the site. It must be changed in LocalSettings.php */ $wgSitename = 'MediaWiki'; |