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>