/**
* Returns the type of marker associated with Java line breakpoints
*/
- public static String getMarkerType() {
- return PHP_LINE_BREAKPOINT;
- }
+// public static String getMarkerType() {
+// return PHP_LINE_BREAKPOINT;
+// }
public int getHitCount() throws CoreException {
return ensureMarker().getAttribute(PHPBreakpoint.HIT_COUNT, 1);