Bug 841370 - open declaration for projects wih external workspace

[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 e47f5c4..9ae3318 100644 (file)
--- a/net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/core/JavaCore.java
+++ b/net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/core/JavaCore.java
@@ -296,7 +296,13 @@ public class JavaCore {
         */
        public static final String COMPILER_PB_PHP_VAR_DEPRECATED = PLUGIN_ID
                        + ".compiler.problem.phpVarDeprecatedWarning"; //$NON-NLS-1$
-
+       
+       public static final String COMPILER_PB_PHP_KEYWORD = PLUGIN_ID
+               + ".compiler.problem.phpBadStyleKeywordWarning"; //$NON-NLS-1$
+       
+       public static final String COMPILER_PB_PHP_UPPERCASE_IDENTIFIER = PLUGIN_ID
+               + ".compiler.problem.phpBadStyleUppercaseIdentifierWarning"; //$NON-NLS-1$
+       
        /**
         * Possible configurable option ID.
         * 
@@ -2888,7 +2894,11 @@ public class JavaCore {
 
                preferences.setDefault(COMPILER_PB_PHP_VAR_DEPRECATED, WARNING);
                optionNames.add(COMPILER_PB_PHP_VAR_DEPRECATED);
-
+               preferences.setDefault(COMPILER_PB_PHP_KEYWORD, WARNING);
+               optionNames.add(COMPILER_PB_PHP_KEYWORD);
+               preferences.setDefault(COMPILER_PB_PHP_UPPERCASE_IDENTIFIER, IGNORE);
+               optionNames.add(COMPILER_PB_PHP_UPPERCASE_IDENTIFIER);
+ 
                preferences.setDefault(COMPILER_PB_UNREACHABLE_CODE, ERROR);
                optionNames.add(COMPILER_PB_UNREACHABLE_CODE);