Better event handling for browser preview refreshs in Wikipedia plugin

[phpeclipse.git] / net.sourceforge.phpeclipse / src / net / sourceforge / phpeclipse / IPreferenceConstants.java

diff --git a/net.sourceforge.phpeclipse/src/net/sourceforge/phpeclipse/IPreferenceConstants.java b/net.sourceforge.phpeclipse/src/net/sourceforge/phpeclipse/IPreferenceConstants.java
index e23e462..d19e01e 100644 (file)
--- a/net.sourceforge.phpeclipse/src/net/sourceforge/phpeclipse/IPreferenceConstants.java
+++ b/net.sourceforge.phpeclipse/src/net/sourceforge/phpeclipse/IPreferenceConstants.java
@@ -7,7 +7,7 @@ http://www.eclipse.org/legal/cpl-v10.html
 
 Contributors:
     IBM Corporation - Initial implementation
-    Klaus Hartlage - www.eclipseproject.de
+    www.phpeclipse.de
 **********************************************************************/
 package net.sourceforge.phpeclipse;
 
@@ -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";