jenkins-bot has submitted this change and it was merged. Change subject: Update release notes and version number ......................................................................
Update release notes and version number Change-Id: I123d614f04b31777b13edbc930fedfaa7203e81d --- M RELEASE-NOTES-1.19 M includes/DefaultSettings.php 2 files changed, 8 insertions(+), 1 deletion(-) Approvals: CSteipp: Looks good to me, approved jenkins-bot: Verified diff --git a/RELEASE-NOTES-1.19 b/RELEASE-NOTES-1.19 index e6d3de0..6d36670 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 6a099db..6837d20 100644 --- a/includes/DefaultSettings.php +++ b/includes/DefaultSettings.php @@ -33,7 +33,7 @@ /** @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'; -- To view, visit https://gerrit.wikimedia.org/r/110075 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I123d614f04b31777b13edbc930fedfaa7203e81d Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/core Gerrit-Branch: REL1_19 Gerrit-Owner: CSteipp <[email protected]> Gerrit-Reviewer: CSteipp <[email protected]> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
