// public static final String LOCALHOST_PREF = "_localhost";
// public static final String DOCUMENTROOT_PREF = "_documentroot";
- public static final String XAMPP_START_PREF = "_xampp_start_pref";
-
- public static final String XAMPP_STOP_PREF = "_xampp_stop_pref";
-
- 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";
-
- public static final String APACHE_RUN_PREF = "_apache_run_pref";
-
- public static final String APACHE_START_BACKGROUND = "_apache_start_background";
-
- public static final String APACHE_START_PREF = "__apache_start";
-
- public static final String APACHE_STOP_BACKGROUND = "_apache_stop_background";
-
- public static final String APACHE_STOP_PREF = "__apache_stop";
-
- public static final String APACHE_RESTART_BACKGROUND = "_apache_restart_background";
-
- public static final String APACHE_RESTART_PREF = "__apache_restart";
-
- public static final String HTTPD_CONF_PATH_PREF = "__httpd_conf_path";
+// public static final String XAMPP_START_PREF = "_xampp_start_pref";
+//
+// public static final String XAMPP_STOP_PREF = "_xampp_stop_pref";
+//
+// 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";
+//
+// public static final String APACHE_RUN_PREF = "_apache_run_pref";
+//
+// public static final String APACHE_START_BACKGROUND = "_apache_start_background";
+//
+// public static final String APACHE_START_PREF = "__apache_start";
+//
+// public static final String APACHE_STOP_BACKGROUND = "_apache_stop_background";
+//
+// public static final String APACHE_STOP_PREF = "__apache_stop";
+//
+// public static final String APACHE_RESTART_BACKGROUND = "_apache_restart_background";
+//
+// public static final String APACHE_RESTART_PREF = "__apache_restart";
- public static final String ETC_HOSTS_PATH_PREF = "__etc_hosts_path";
-
- public static final String SHOW_OUTPUT_IN_CONSOLE = "_show_output_in_console";
+// public static final String HTTPD_CONF_PATH_PREF = "__httpd_conf_path";
+//
+// public static final String ETC_HOSTS_PATH_PREF = "__etc_hosts_path";
- public static final String PHP_RUN_PREF = "_php_run_pref";
+// public static final String SHOW_OUTPUT_IN_CONSOLE = "_show_output_in_console";
- public static final String EXTERNAL_PARSER_PREF = "_external_parser";
+// 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_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_VARIABLE_UNDERLINE = "_php_variable_underline";//$NON-NLS-1$
+ public static final String PHP_VARIABLE_DOLLAR = "_php_variable_dollar";//$NON-NLS-1$
+
+ public static final String PHP_VARIABLE_DOLLAR_BOLD = "_php_variable_dollar_bold";//$NON-NLS-1$
+
+ public static final String PHP_VARIABLE_DOLLAR_ITALIC = "_php_variable_dollar_italic";//$NON-NLS-1$
+
+ public static final String PHP_VARIABLE_DOLLAR_UNDERLINE = "_php_variable_dollar_underline";//$NON-NLS-1$
+
public static final String PHP_TYPE = "_php_type";//$NON-NLS-1$
public static final String PHP_TYPE_BOLD = "_php_type_bold";//$NON-NLS-1$
public static final String EDITOR_CORRECTION_INDICATION = null;
- public static final String PHP_OBFUSCATOR_DEFAULT = "_php_obfuscator_default";
+// public static final String PHP_OBFUSCATOR_DEFAULT = "_php_obfuscator_default";
// 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";