<?eclipse version="3.2"?>
<plugin>
<extension
+ point="org.eclipse.ui.editors.markerAnnotationSpecification">
+ <specification
+ annotationType="org.eclipse.debug.core.breakpoint"
+ icon="icons/full/obj16/brkp_obj.gif"
+ annotationImageProvider="net.sourceforge.phpdt.debug.ui.BreakpointImageProvider">
+ </specification>
+ </extension>
+
+ <extension
point="org.eclipse.ui.preferencePages">
<page
name="%PreferencePage.PHPInterpreter.name"