Better event handling for browser preview refreshs
[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.1"
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    </requires>
26
27
28    <extension
29          point="org.eclipse.debug.core.launchConfigurationTypes">
30       <launchConfigurationType
31             name="%LaunchConfigurationTypePHPApplication.name"
32             delegate="net.sourceforge.phpdt.internal.launching.PHPLaunchConfigurationDelegate"
33             modes="run,debug"
34             id="net.sourceforge.phpdt.launching.LaunchConfigurationTypePHPApplication">
35          <fileExtension
36                default="true"
37                extension="php">
38          </fileExtension>
39          <fileExtension
40                default="true"
41                extension="php3">
42          </fileExtension>
43          <fileExtension 
44                default="true"
45                extension="php4">
46          </fileExtension>
47          <fileExtension 
48                default="true"
49                extension="php5">
50          </fileExtension>
51       </launchConfigurationType>
52    </extension>
53
54 </plugin>