From 44ef9dd254ef345f77a9a023fd51b44c212b0870 Mon Sep 17 00:00:00 2001
From: Reedy <reedy@wikimedia.org>
Date: Tue, 2 Jul 2019 00:40:03 +0100
Subject: [PATCH] Prepare 1.31.3

Bug: T227046
Change-Id: I0758709c11c68bb46573198903c88ba390c8ec8d
---
 RELEASE-NOTES-1.31           | 3 ++-
 includes/DefaultSettings.php | 2 +-
 2 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/RELEASE-NOTES-1.31 b/RELEASE-NOTES-1.31
index f0c4e8e523..a2b8763fb6 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 a855d92956..0fb0173199 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
-- 
2.20.1