f2a5952fe339f68fdc5997aafa014320a587a76c
[phpeclipse.git] / net.sourceforge.phpeclipse.debug.core / plugin.xml
1 <?xml version="1.0" encoding="UTF-8"?>
2 <plugin
3    id="net.sourceforge.phpeclipse.debug.core"
4    name="%Plugin.name"
5    version="1.0.4"
6    provider-name="eclipseproject.de"
7    class="net.sourceforge.phpdt.internal.debug.core.PHPDebugCorePlugin">
8
9    <runtime>
10       <library name="core.jar">
11          <export name="*"/>
12       </library>
13    </runtime>
14    <requires>
15       <import plugin="org.eclipse.ui"/>
16       <import plugin="org.eclipse.core.runtime"/>
17       <import plugin="org.eclipse.core.resources"/>
18       <import plugin="org.eclipse.debug.core"/>
19       <import plugin="org.eclipse.debug.ui"/>
20       <import plugin="org.junit"/>
21       <import plugin="net.sourceforge.phpeclipse"/>
22    </requires>
23
24 <!-- Extensions -->
25    <extension id="phpBreakpointMarker" point="org.eclipse.core.resources.markers">
26       <super type="org.eclipse.debug.core.breakpointMarker"/>
27    </extension>
28
29    <extension id="commonPHPLineBreakpointMarker" point="org.eclipse.core.resources.markers">
30       <super type="net.sourceforge.phpeclipse.debug.core.phpBreakpointMarker"/>
31       <super type="org.eclipse.debug.core.lineBreakpointMarker"/>
32       <persistent value="true"/>
33    </extension>
34
35    <extension id="phpLineBreakpointMarker" point="org.eclipse.core.resources.markers">
36       <super type="net.sourceforge.phpeclipse.debug.core.commonPHPLineBreakpointMarker"/>
37       <persistent value="true"/>
38    </extension>
39
40    <extension point="org.eclipse.debug.core.breakpoints">
41       <breakpoint
42             markerType="net.sourceforge.phpeclipse.debug.core.phpLineBreakpointMarker"
43             class="net.sourceforge.phpdt.internal.debug.core.breakpoints.PHPLineBreakpoint"
44             id="phpLineBreakpoint">
45       </breakpoint>
46    </extension>
47 </plugin>