//
// 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 SHOW_OUTPUT_IN_CONSOLE = "_show_output_in_console";
// public static final String PHP_RUN_PREF = "_php_run_pref";
//
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";
// store.setDefault(APACHE_RESTART_BACKGROUND, "true");
}
- store.setDefault(SHOW_OUTPUT_IN_CONSOLE, "true");
- store.setDefault(PHP_OBFUSCATOR_DEFAULT, "c:\\temp");
- if (operatingSystem.equals(Platform.OS_WIN32)) {
+// store.setDefault(SHOW_OUTPUT_IN_CONSOLE, "true");
+// store.setDefault(PHP_OBFUSCATOR_DEFAULT, "c:\\temp");
+// if (operatingSystem.equals(Platform.OS_WIN32)) {
// store.setDefault(EXTERNAL_BROWSER_PREF, "rundll32 url.dll,FileProtocolHandler {0}");
- } else if (operatingSystem.equals(Platform.OS_MACOSX)) {
- store.setDefault(PHP_OBFUSCATOR_DEFAULT, "/tmp");
+// } else if (operatingSystem.equals(Platform.OS_MACOSX)) {
+// store.setDefault(PHP_OBFUSCATOR_DEFAULT, "/tmp");
// TODO How do we start Safari on Mac OS X ?
// store.setDefault(EXTERNAL_BROWSER_PREF, "netscape {0}");
- } else {
- store.setDefault(PHP_OBFUSCATOR_DEFAULT, "/tmp");
+// } else {
+// store.setDefault(PHP_OBFUSCATOR_DEFAULT, "/tmp");
// store.setDefault(EXTERNAL_BROWSER_PREF, "netscape {0}");
- }
+// }
store.setDefault(PHP_EXTENSION_PREFS, "php,php3,php4,php5,phtml,inc,module,class");