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.5"
   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       <import plugin="org.eclipse.ui.ide"/>
  27    </requires>
  28
  29
  30    <extension
  31          point="org.eclipse.debug.core.launchConfigurationTypes">
  32       <launchConfigurationType
  33             name="%LaunchConfigurationTypePHPApplication.name"
  34             delegate="net.sourceforge.phpdt.internal.launching.PHPLaunchConfigurationDelegate"
  35             modes="run,debug"
  36             id="net.sourceforge.phpdt.launching.LaunchConfigurationTypePHPApplication">
  37          <fileExtension
  38                default="true"
  39                extension="php">
  40          </fileExtension>
  41          <fileExtension
  42                default="true"
  43                extension="php3">
  44          </fileExtension>
  45          <fileExtension
  46                default="true"
  47                extension="php4">
  48          </fileExtension>
  49          <fileExtension
  50                default="true"
  51                extension="php5">
  52          </fileExtension>
  53          <fileExtension
  54                default="true"
  55                extension="htm">
  56          </fileExtension>
  57          <fileExtension
  58                default="true"
  59                extension="html">
  60          </fileExtension>
  61       </launchConfigurationType>
  62    </extension>
  63
  64 </plugin>