diff options
| author | Reedy <reedy@wikimedia.org> | 2019-05-29 00:39:18 +0100 |
|---|---|---|
| committer | Umherirrender <umherirrender_de.wp@web.de> | 2019-06-06 21:25:45 +0000 |
| commit | 5951e3e30351dbef4afaceccad415b7702d49bc0 (patch) | |
| tree | 1e61d59ed3aae31986245310c5656ca6d307bd45 | |
| parent | 11dd10c5be890e4effe60d8432e7c41cda43f41e (diff) | |
Prepare 1.31.21.31.2
Change-Id: I0e6ef5f4a51adbe20631265a693c86f2114859d4
| -rw-r--r-- | RELEASE-NOTES-1.31 | 2 | ||||
| -rw-r--r-- | includes/DefaultSettings.php | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/RELEASE-NOTES-1.31 b/RELEASE-NOTES-1.31 index e09851d85d15..40c1f1ee4a7b 100644 --- a/RELEASE-NOTES-1.31 +++ b/RELEASE-NOTES-1.31 @@ -1,6 +1,6 @@ == MediaWiki 1.31.2 == -THIS IS NOT A RELEASE YET +This is a security and maintenance release of the MediaWiki 1.31 branch. Required PHP version has been increased from 7.0.0 to 7.0.13. diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php index 43b30b05c73f..a855d92956d8 100644 --- a/includes/DefaultSettings.php +++ b/includes/DefaultSettings.php @@ -71,7 +71,7 @@ $wgConfigRegistry = [ * MediaWiki version number * @since 1.2 */ -$wgVersion = '1.31.1'; +$wgVersion = '1.31.2'; /** * Name of the site. It must be changed in LocalSettings.php |