public static final String SHOW_OUTPUT_IN_CONSOLE = "_sho_output_in_console";
public static final String EXTERNAL_PARSER_PREF = "_external_parser";
+ public static final String PHP_PARSER_DEFAULT = "_php_parser_default";
+ public static final String PHP_INTERNAL_PARSER = "_php_internal_parser";
+ public static final String PHP_EXTERNAL_PARSER = "_php_external_parser";
+ public static final String PHP_PARSE_ON_SAVE = "_php_parse_on_save";
+
public static final String PHP_MULTILINE_COMMENT = "_php_multilineComment";
public static final String PHP_SINGLELINE_COMMENT = "_php_singlelineComment";
public static final String PHP_KEYWORD = "_php_keyword";
public static final String PHP_STRING = "_php_string";
public static final String PHP_DEFAULT = "_php_default";
+ public static final String LINKED_POSITION_COLOR= "_linkedPositionColor";
+
}
\ No newline at end of file