Applied bugfixes described by Daniel Ecer on May 5 in a response to bugs item #1175366
[phpeclipse.git] / net.sourceforge.phpeclipse.launching / plugin.xml
1 <?xml version="1.0" encoding="UTF-8"?>
2 <?eclipse version="3.0"?>
3 <plugin
4    id="net.sourceforge.phpeclipse.launching"
5    name="%Plugin.name"
6    version="1.1.3"
7    provider-name="phpeclipse.de"
8    class="net.sourceforge.phpdt.internal.launching.PHPLaunchingPlugin">
9
10    <runtime>
11       <library name="launch.jar">
12          <export name="*"/>
13          <packages prefixes="net.sourceforge.phpdt.internal.launching"/>         
14       </library>
15    </runtime>
16    <requires>
17 <!--      <import plugin="org.eclipse.core.runtime.compatibility"/> -->
18       <import plugin="org.eclipse.core.runtime"/>
19       <import plugin="org.eclipse.core.resources"/>
20       <import plugin="org.eclipse.ui"/>
21       <import plugin="org.eclipse.debug.core"/>
22       <import plugin="net.sourceforge.phpeclipse"/>
23       <import plugin="net.sourceforge.phpeclipse.debug.core"/>
24       <import plugin="org.eclipse.debug.ui"/>
25       <import plugin="net.sourceforge.phpeclipse.ui"/>
26    </requires>
27
28
29    <extension
30          point="org.eclipse.debug.core.launchConfigurationTypes">
31       <launchConfigurationType
32             name="%LaunchConfigurationTypePHPApplication.name"
33             delegate="net.sourceforge.phpdt.internal.launching.PHPLaunchConfigurationDelegate"
34             modes="run,debug"
35             id="net.sourceforge.phpdt.launching.LaunchConfigurationTypePHPApplication">
36          <fileExtension
37                default="true"
38                extension="php">
39          </fileExtension>
40          <fileExtension
41                default="true"
42                extension="php3">
43          </fileExtension>
44          <fileExtension 
45                default="true"
46                extension="php4">
47          </fileExtension>
48          <fileExtension 
49                default="true"
50                extension="php5">
51          </fileExtension>
52       </launchConfigurationType>
53    </extension>
54
55 </plugin>