[MediaWiki-commits] [Gerrit] mediawiki/core[master]: Bump min supported HHVM version to 3.18.5

[jenkins-bot (Code Review)]

jenkins-bot has submitted this change and it was merged. ( 
https://gerrit.wikimedia.org/r/400936 )

Change subject: Bump min supported HHVM version to 3.18.5
..


Bump min supported HHVM version to 3.18.5

Change-Id: I0a22c638bf6bbd6c8b93e50c23f8e455e36acd7c
---
M RELEASE-NOTES-1.31
M includes/PHPVersionCheck.php
2 files changed, 4 insertions(+), 4 deletions(-)

Approvals:
  Legoktm: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/RELEASE-NOTES-1.31 b/RELEASE-NOTES-1.31
index a496b02..c9dc234 100644
--- a/RELEASE-NOTES-1.31
+++ b/RELEASE-NOTES-1.31
@@ -161,8 +161,8 @@
   has been deprecated since 1.27 and was removed as well.
 
 == Compatibility ==
-MediaWiki 1.31 requires PHP 5.5.9 or later. There is experimental support for
-HHVM 3.6.5 or later.
+MediaWiki 1.31 requires PHP 5.5.9 or later. Although HHVM 3.18.5 or later is 
supported,
+it is generally advised to use PHP 5.5.9 or later for long term support.
 
 MySQL/MariaDB is the recommended DBMS. PostgreSQL or SQLite can also be used,
 but support for them is somewhat less mature. There is experimental support for
diff --git a/includes/PHPVersionCheck.php b/includes/PHPVersionCheck.php
index a862903..69bd24f 100644
--- a/includes/PHPVersionCheck.php
+++ b/includes/PHPVersionCheck.php
@@ -87,8 +87,8 @@
'implementation' => 'HHVM',
'version' => defined( 'HHVM_VERSION' ) ? 
HHVM_VERSION : 'undefined',
'vendor' => 'Facebook',
-   'upstreamSupported' => '3.6.5',
-   'minSupported' => '3.6.5',
+   'upstreamSupported' => '3.18.5',
+   'minSupported' => '3.18.5',
'upgradeURL' => 
'https://docs.hhvm.com/hhvm/installation/introduction',
);
}

-- 
To view, visit https://gerrit.wikimedia.org/r/400936
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I0a22c638bf6bbd6c8b93e50c23f8e455e36acd7c
Gerrit-PatchSet: 2
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Reedy 
Gerrit-Reviewer: Krinkle 
Gerrit-Reviewer: Legoktm 
Gerrit-Reviewer: Reedy 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[MediaWiki-commits] [Gerrit] mediawiki/core[master]: Bump min supported HHVM version to 3.18.5

[Reedy (Code Review)]

Reedy has uploaded a new change for review. ( 
https://gerrit.wikimedia.org/r/400936 )

Change subject: Bump min supported HHVM version to 3.18.5
..

Bump min supported HHVM version to 3.18.5

Change-Id: I0a22c638bf6bbd6c8b93e50c23f8e455e36acd7c
---
M RELEASE-NOTES-1.31
M includes/PHPVersionCheck.php
2 files changed, 3 insertions(+), 3 deletions(-)


  git pull ssh://gerrit.wikimedia.org:29418/mediawiki/core 
refs/changes/36/400936/1

diff --git a/RELEASE-NOTES-1.31 b/RELEASE-NOTES-1.31
index a496b02..47ff209 100644
--- a/RELEASE-NOTES-1.31
+++ b/RELEASE-NOTES-1.31
@@ -162,7 +162,7 @@
 
 == Compatibility ==
 MediaWiki 1.31 requires PHP 5.5.9 or later. There is experimental support for
-HHVM 3.6.5 or later.
+HHVM 3.18.5 or later.
 
 MySQL/MariaDB is the recommended DBMS. PostgreSQL or SQLite can also be used,
 but support for them is somewhat less mature. There is experimental support for
diff --git a/includes/PHPVersionCheck.php b/includes/PHPVersionCheck.php
index a862903..69bd24f 100644
--- a/includes/PHPVersionCheck.php
+++ b/includes/PHPVersionCheck.php
@@ -87,8 +87,8 @@
'implementation' => 'HHVM',
'version' => defined( 'HHVM_VERSION' ) ? 
HHVM_VERSION : 'undefined',
'vendor' => 'Facebook',
-   'upstreamSupported' => '3.6.5',
-   'minSupported' => '3.6.5',
+   'upstreamSupported' => '3.18.5',
+   'minSupported' => '3.18.5',
'upgradeURL' => 
'https://docs.hhvm.com/hhvm/installation/introduction',
);
}

-- 
To view, visit https://gerrit.wikimedia.org/r/400936
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: I0a22c638bf6bbd6c8b93e50c23f8e455e36acd7c
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Reedy 

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits