diff options
author | Reedy <reedy@wikimedia.org> | 2017-04-02 20:02:11 +0100 |
---|---|---|
committer | Chad Horohoe <chadh@wikimedia.org> | 2017-04-06 11:55:01 -0700 |
commit | 07ed5049d9381cdd55830d9f296e5514d95348cf (patch) | |
tree | 2b0fc2bd2e6059f316eb515d038d2350375ed84b | |
parent | c9dccd04e51078d4d9403000a017900fd9185368 (diff) |
Bump $wgVersion and finalise RELEASE-NOTES for 1.23.161.23.16
Change-Id: Id932eee0a5acb1ef9c61f5633d38b6d2074db593
Signed-off-by: Chad Horohoe <chadh@wikimedia.org>
-rw-r--r-- | RELEASE-NOTES-1.23 | 2 | ||||
-rw-r--r-- | includes/DefaultSettings.php | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/RELEASE-NOTES-1.23 b/RELEASE-NOTES-1.23 index c9ab7fd2ba96..6b77f1f4eda0 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 0179603f0a33..ee9b3f368ada 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 |