diff options
| author | Reedy <reedy@wikimedia.org> | 2019-07-02 00:40:03 +0100 |
|---|---|---|
| committer | Reedy <reedy@wikimedia.org> | 2019-07-02 12:30:51 +0000 |
| commit | 44ef9dd254ef345f77a9a023fd51b44c212b0870 (patch) | |
| tree | 1dd5e14af8f2120076bca001e469f92421131cc9 | |
| parent | e9d762863014c93244ac99f7c169d7ec5eee22d9 (diff) | |
Prepare 1.31.31.31.3
Bug: T227046
Change-Id: I0758709c11c68bb46573198903c88ba390c8ec8d
| -rw-r--r-- | RELEASE-NOTES-1.31 | 3 | ||||
| -rw-r--r-- | includes/DefaultSettings.php | 2 |
2 files changed, 3 insertions, 2 deletions
diff --git a/RELEASE-NOTES-1.31 b/RELEASE-NOTES-1.31 index f0c4e8e523c8..a2b8763fb6d7 100644 --- a/RELEASE-NOTES-1.31 +++ b/RELEASE-NOTES-1.31 @@ -1,10 +1,11 @@ == MediaWiki 1.31.3 == -THIS IS NOT A RELEASE YET +This is a maintenance release of the MediaWiki 1.31 branch. === Changes since MediaWiki 1.31.2 === * (T225558) Update installer link to PHP intl. * (T225496) Detect APC for MainCacheType in CLI installer. +* (T226766) Remove jetbrains/phpstorm-stubs from composer dev dependancies. * (T202211) Fix SQLite patch-(image|page|template)links-fix-pk.sql column order. == MediaWiki 1.31.2 == diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php index a855d92956d8..0fb01731998c 100644 --- a/includes/DefaultSettings.php +++ b/includes/DefaultSettings.php @@ -71,7 +71,7 @@ $wgConfigRegistry = [ * MediaWiki version number * @since 1.2 */ -$wgVersion = '1.31.2'; +$wgVersion = '1.31.3'; /** * Name of the site. It must be changed in LocalSettings.php |