return "";
}
+ public boolean useDBGSessionInExternalBrowser() {
+ try {
+ return configuration
+ .getAttribute(
+ PHPLaunchConfigurationAttribute.OPEN_DBGSESSION_IN_EXTERNAL_BROWSER,
+ false);
+ } catch (CoreException e) {
+ PHPLaunchingPlugin.log(e);
+ }
+ return false;
+ }
+
}