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