public static final String PHP_RUN_PREF = "_php_run_pref";
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_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_MULTILINE_COMMENT_BOLD = "_php_multilineComment_bold";
* (value <code>"__php_operator"</code>).
* @since 3.0
*/
- public static final String PHP_OPERATOR= "__php_operator"; //$NON-NLS-1$
+ public static final String PHP_OPERATOR = "__php_operator"; //$NON-NLS-1$
/**
* A named preference that holds the color used to render operators and brackets.
* <p>
public static final String PHP_AUTO_PREVIEW_DEFAULT = "_auto_preview";
public static final String PHP_BRING_TO_TOP_PREVIEW_DEFAULT = "_bring_to_top_preview";
+ public static final String PHP_SHOW_HTML_FILES_LOCAL = "_show_html_files_local";
}
\ No newline at end of file