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.0"
   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       </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.core.runtime"/>
  23       <import plugin="org.eclipse.core.resources"/>
  24       <import plugin="org.eclipse.ui"/>
  25       <import plugin="org.eclipse.debug.core"/>
  26       <import plugin="org.junit"/>
  27       <import plugin="net.sourceforge.phpeclipse"/>
  28       <import plugin="net.sourceforge.phpeclipse.debug.core"/>
  29    </requires>
  30
  31
  32    <extension
  33          point="org.eclipse.debug.core.launchConfigurationTypes">
  34       <launchConfigurationType
  35             name="%LaunchConfigurationTypePHPApplication.name"
  36             delegate="net.sourceforge.phpdt.internal.launching.PHPLaunchConfigurationDelegate"
  37             modes="run,debug"
  38             id="net.sourceforge.phpdt.launching.LaunchConfigurationTypePHPApplication">
  39          <fileExtension
  40                default="true"
  41                extension="php">
  42          </fileExtension>
  43          <fileExtension
  44                default="true"
  45                extension="php3">
  46          </fileExtension>
  47          <fileExtension
  48                default="true"
  49                extension="php4">
  50          </fileExtension>
  51       </launchConfigurationType>
  52    </extension>
  53
  54 </plugin>