diff --git a/INSTALL b/INSTALL
index 71f43a4afab..bbf9ec567bf 100644
--- a/INSTALL
+++ b/INSTALL
@@ -5,9 +5,9 @@ Installing MediaWiki
 Starting with MediaWiki 1.2.0, it's possible to install and configure the wiki
 "in-place", as long as you have the necessary prerequisites available.
 
-Required software as of MediaWiki 1.34.0:
+Required software as of MediaWiki 1.35.0:
 
-* Web server with PHP 7.2.22 or higher, plus the following extensions:
+* Web server with PHP 7.3.19 or higher, plus the following extensions:
 ** ctype
 ** dom
 ** fileinfo
diff --git a/RELEASE-NOTES-1.35 b/RELEASE-NOTES-1.35
index 8b38b1c2f93..091fcf7d6fb 100644
--- a/RELEASE-NOTES-1.35
+++ b/RELEASE-NOTES-1.35
@@ -71,7 +71,7 @@ for use in production.
 == MediaWiki 1.35.0-rc.0 ==
 
 == Upgrading notes for 1.35 ==
-1.35 requires PHP 7.2.22 or above (up from 7.2.9), to avoid segfaults (T228346).
+1.35 requires PHP 7.3.19 or above (up from 7.2.9). (T257879)
 
 1.35 has several database changes since 1.34, and will not work without schema
 updates. Note that due to changes to some very large tables like the revision
@@ -451,7 +451,7 @@ because of Phabricator reports.
 * (T251369) Added language support for Seediq (trv), also known as Taroko.
 
 === Breaking changes in 1.35 ===
-* MediaWiki now requires PHP 7.2.22 or above, to avoid segfaults (T228346).
+* MediaWiki no longer supports PHP 7.2; use PHP 7.3.19+ (T228346, T257879).
 * ResourceLoader::getLessVars(), deprecated in 1.32, was removed.
   Use ResourceLoaderModule::getLessVars() instead.
 * The jquery.tabIndex module, deprecated in 1.34, has been removed.
@@ -1473,7 +1473,7 @@ because of Phabricator reports.
   on a custom port other than 5432.
 
 == Compatibility ==
-MediaWiki 1.35 requires PHP 7.2.22 or later, and the following PHP extensions:
+MediaWiki 1.35 requires PHP 7.3.19 or later, and the following PHP extensions:
 
 * ctype
 * dom