public static final String PHP_BOOKMARK_DEFAULT = "_php_bookmark_default";
public static final String PHP_LOCALHOST_PREF = "_php_localhost";
public static final String PHP_DOCUMENTROOT_PREF = "_php_documentroot";
+ public static final String PHP_INCLUDE_PATHS = "_php_include_paths";
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";
+// public static final String PHP_SHOW_HTML_FILES_LOCAL = "_show_html_files_local";
+// public static final String PHP_SHOW_XML_FILES_LOCAL = "_show_xml_files_local";
}