import net.sourceforge.phpdt.internal.debug.core.PHPDebugCorePlugin;
import net.sourceforge.phpdt.internal.debug.core.breakpoints.PHPLineBreakpoint;
-import org.eclipse.core.resources.IMarker;
+//import org.eclipse.core.resources.IMarker;
import org.eclipse.core.resources.IResource;
import org.eclipse.core.runtime.CoreException;
import org.eclipse.core.runtime.Preferences;
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);