no indentation of HTML and phpdocs
[phpeclipse.git] / net.sourceforge.phpeclipse / src / net / sourceforge / phpeclipse / IPreferenceConstants.java
index e23e462..19a2a9d 100644 (file)
@@ -33,9 +33,6 @@ public interface IPreferenceConstants {
        
 //  public static final String LOCALHOST_PREF = "_localhost";
 //  public static final String DOCUMENTROOT_PREF = "_documentroot";
-//  public static final String USE_EXTERNAL_BROWSER_PREF = "_use_external_browser";
-//  public static final String SHOW_EXTERNAL_PREVIEW_PREF = "_show_external_preview";
-//  public static final String EXTERNAL_BROWSER_PREF = "_external_browser";
   public static final String MYSQL_RUN_PREF = "_mysql_run_pref";
   public static final String MYSQL_START_BACKGROUND = "_mysql_start_background";
   public static final String MYSQL_PREF = "__mysql_start";
@@ -49,6 +46,7 @@ public interface IPreferenceConstants {
   public static final String SHOW_OUTPUT_IN_CONSOLE = "_show_output_in_console";
   public static final String PHP_RUN_PREF = "_php_run_pref";
   public static final String EXTERNAL_PARSER_PREF = "_external_parser";
+  public static final String PHP_EXTENSION_PREFS = "_php_parser_extensions";
   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";