preferences.setDefault(COMPILER_CODEGEN_TARGET_PLATFORM, VERSION_1_1);
optionNames.add(COMPILER_CODEGEN_TARGET_PLATFORM);
- preferences.setDefault(COMPILER_PB_PHP_VAR_DEPRECATED, WARNING);
+ preferences.setDefault(COMPILER_PB_PHP_VAR_DEPRECATED, IGNORE);
optionNames.add(COMPILER_PB_PHP_VAR_DEPRECATED);
preferences.setDefault(COMPILER_PB_PHP_KEYWORD, WARNING);
optionNames.add(COMPILER_PB_PHP_KEYWORD);