Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorThierry BLIND2019-02-20 17:43:02 -0500
committerThierry BLIND2019-02-25 06:18:42 -0500
commit1fba94ad2c8722cd44cd4f7108ae41af99c7afc8 (patch)
treefa1528483f31935b3795c0cd279cb3530a98ab66
parentcc295ad99806429c42ce38752c24d4130462b65c (diff)
downloadorg.eclipse.pdt-1fba94ad2c8722cd44cd4f7108ae41af99c7afc8.tar.gz
org.eclipse.pdt-1fba94ad2c8722cd44cd4f7108ae41af99c7afc8.tar.xz
org.eclipse.pdt-1fba94ad2c8722cd44cd4f7108ae41af99c7afc8.zip
No bug - remove experimental flag for PHP 7.3 support
Signed-off-by: Thierry BLIND <thierryblind@msn.com>
-rw-r--r--plugins/org.eclipse.php.core/src/org/eclipse/php/core/PHPVersion.java2
-rw-r--r--plugins/org.eclipse.php.help/docs/source/016-concepts/008-php_support.md2
2 files changed, 2 insertions, 2 deletions
diff --git a/plugins/org.eclipse.php.core/src/org/eclipse/php/core/PHPVersion.java b/plugins/org.eclipse.php.core/src/org/eclipse/php/core/PHPVersion.java
index 8744379f0..e75813bd4 100644
--- a/plugins/org.eclipse.php.core/src/org/eclipse/php/core/PHPVersion.java
+++ b/plugins/org.eclipse.php.core/src/org/eclipse/php/core/PHPVersion.java
@@ -42,7 +42,7 @@ public enum PHPVersion {
PHP7_0("php7.0"), //$NON-NLS-1$
PHP7_1("php7.1"), //$NON-NLS-1$
PHP7_2("php7.2"), //$NON-NLS-1$
- PHP7_3("php7.3", true); //$NON-NLS-1$
+ PHP7_3("php7.3"); //$NON-NLS-1$
private String alias;
private boolean isExperimentalSupport;
diff --git a/plugins/org.eclipse.php.help/docs/source/016-concepts/008-php_support.md b/plugins/org.eclipse.php.help/docs/source/016-concepts/008-php_support.md
index 36ad01a5a..fb310ad7f 100644
--- a/plugins/org.eclipse.php.help/docs/source/016-concepts/008-php_support.md
+++ b/plugins/org.eclipse.php.help/docs/source/016-concepts/008-php_support.md
@@ -2,7 +2,7 @@
<!--context:php_support-->
-PDT supports PHP versions 5.1/5.2/5.3/5.4/5.5/5.6/7.0/7.1/7.2/7.3(experimental).
+PDT supports PHP versions 5.1/5.2/5.3/5.4/5.5/5.6/7.0/7.1/7.2/7.3
PHP version settings affect:

Back to the top