public static PHPLineBreakpoint lineBreakpointExists(IResource resource, int lineNumber)
throws CoreException {
String modelId = PHPDebugCorePlugin.PLUGIN_ID; // getPluginIdentifier();
- String markerType = PHPLineBreakpoint.getMarkerType();
+ //String markerType = PHPLineBreakpoint.getMarkerType();
IBreakpointManager manager = DebugPlugin.getDefault()
.getBreakpointManager();
IBreakpoint[] breakpoints = manager.getBreakpoints(modelId);