From fb8dd06114b150ba83eaf96fbe6caf2b6c524316 Mon Sep 17 00:00:00 2001 From: Reedy Date: Sun, 2 Apr 2017 20:02:11 +0100 Subject: [PATCH 8/8] Bump $wgVersion and finalise RELEASE-NOTES for 1.23.16 Change-Id: Id932eee0a5acb1ef9c61f5633d38b6d2074db593 --- RELEASE-NOTES-1.23 | 2 +- includes/DefaultSettings.php | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/RELEASE-NOTES-1.23 b/RELEASE-NOTES-1.23 index 80ede20..05ffdfc 100644 --- a/RELEASE-NOTES-1.23 +++ b/RELEASE-NOTES-1.23 @@ -2,7 +2,7 @@ Security reminder: MediaWiki does not require PHP's register_globals. If you have it on, turn it '''off''' if you can. == MediaWiki 1.23.16 == -This is not a release yet! +This is a security and maintenance release of the MediaWiki 1.23 branch. === Changes since 1.23.15 === * (T68404) CSS3 attr() function with url type is no longer allowed diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php index 0179603..ee9b3f3 100644 --- a/includes/DefaultSettings.php +++ b/includes/DefaultSettings.php @@ -73,7 +73,7 @@ $wgConfigRegistry = array( * MediaWiki version number * @since 1.2 */ -$wgVersion = '1.23.15'; +$wgVersion = '1.23.16'; /** * Name of the site. It must be changed in LocalSettings.php -- 2.9.3