*/
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.
*
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);