X-Git-Url: http://git.phpeclipse.com 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 --- 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);