Added a new PHP Parser Preference Page (global and on project level)

[phpeclipse.git] / net.sourceforge.phpeclipse / src / net / sourceforge / phpdt / core / JavaCore.java

diff --git a/net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/core/JavaCore.java b/net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/core/JavaCore.java
index 83b18b6..a191779 100644 (file)
--- a/net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/core/JavaCore.java
+++ b/net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/core/JavaCore.java
@@ -215,6 +215,13 @@ public class JavaCore {
                 * @see #getDefaultOptions
                 */
                public static final String COMPILER_CODEGEN_TARGET_PLATFORM = PLUGIN_ID + ".compiler.codegen.targetPlatform"; //$NON-NLS-1$
+               
+               /**
+                * Possible  configurable option ID.
+                * @see #getDefaultOptions
+                */
+               public static final String COMPILER_PB_PHP_VAR_DEPRECATED = PLUGIN_ID + ".compiler.problem.phpVarDeprecatedWarning"; //$NON-NLS-1$
+                               
                /**
                 * Possible  configurable option ID.
                 * @see #getDefaultOptions
@@ -235,6 +242,7 @@ public class JavaCore {
                 * @see #getDefaultOptions
                 */
                public static final String COMPILER_PB_METHOD_WITH_CONSTRUCTOR_NAME = PLUGIN_ID + ".compiler.problem.methodWithConstructorName"; //$NON-NLS-1$
+               
                /**
                 * Possible  configurable option ID.
                 * @see #getDefaultOptions
@@ -2412,6 +2420,9 @@ public static void initializeDefaultPluginPreferences() {
        preferences.setDefault(COMPILER_CODEGEN_TARGET_PLATFORM, VERSION_1_1); 
        optionNames.add(COMPILER_CODEGEN_TARGET_PLATFORM);
 
+       preferences.setDefault(COMPILER_PB_PHP_VAR_DEPRECATED, WARNING); 
+       optionNames.add(COMPILER_PB_PHP_VAR_DEPRECATED);
+       
        preferences.setDefault(COMPILER_PB_UNREACHABLE_CODE, ERROR); 
        optionNames.add(COMPILER_PB_UNREACHABLE_CODE);
 
@@ -2420,7 +2431,7 @@ public static void initializeDefaultPluginPreferences() {
 
        preferences.setDefault(COMPILER_PB_OVERRIDING_PACKAGE_DEFAULT_METHOD, WARNING); 
        optionNames.add(COMPILER_PB_OVERRIDING_PACKAGE_DEFAULT_METHOD);
-
+       
        preferences.setDefault(COMPILER_PB_METHOD_WITH_CONSTRUCTOR_NAME, WARNING); 
        optionNames.add(COMPILER_PB_METHOD_WITH_CONSTRUCTOR_NAME);