diff options
author | Reedy <reedy@wikimedia.org> | 2015-12-20 22:06:48 +0000 |
---|---|---|
committer | Reedy <reedy@wikimedia.org> | 2015-12-21 01:31:10 +0000 |
commit | 8a017fe25a3de909c3daa588b25d8957da0510a2 (patch) | |
tree | 1f7e6df12cba12100700f9e6a09e064bda9f569c | |
parent | f75044e377a6677aa924ac0709fbd97f156f8f8f (diff) |
Prep 1.23.131.23.13
Change-Id: I5080cf9fa699c59ee5d2bb2ae9bbbb09fa262e41
-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 db7a77b0426c..86a1962bbd3e 100644 --- a/RELEASE-NOTES-1.23 +++ b/RELEASE-NOTES-1.23 @@ -3,7 +3,7 @@ have it on, turn it '''off''' if you can. == MediaWiki 1.23.13 == -THIS IS NOT A RELEASE YET! +This is a maintenance release of the MediaWiki 1.23 branch. == Changes since 1.23.12 == * (T121892) Fix fatal errors on some Special pages, introduced in 1.23.12. diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php index 7011d6de8d73..d874e6444e6a 100644 --- a/includes/DefaultSettings.php +++ b/includes/DefaultSettings.php @@ -73,7 +73,7 @@ $wgConfigRegistry = array( * MediaWiki version number * @since 1.2 */ -$wgVersion = '1.23.12'; +$wgVersion = '1.23.13'; /** * Name of the site. It must be changed in LocalSettings.php |