static final String OPEN_DBGSESSION_IN_BROWSER = PHPLaunchingPlugin.PLUGIN_ID
+ ".OPEN_DBGSESSION_IN_BROWSER";
+ static final String OPEN_DBGSESSION_IN_EXTERNAL_BROWSER = PHPLaunchingPlugin.PLUGIN_ID
+ + ".OPEN_DBGSESSION_IN_EXTERNAL_BROWSER";
+
static final String FILE_MAP = PHPLaunchingPlugin.PLUGIN_ID + ".FILE_MAP";
}
\ No newline at end of file