net.sourceforge.phpeclipse/plugin.xml

   1 <?xml version="1.0" encoding="UTF-8"?>
   2 <plugin
   3    id="PHPEclipse"
   4    name="Plug-in PHP for Eclipse"
   5    version="1.0.0"
   6    provider-name="phpeclipse"
   7    class="net.sourceforge.phpeclipse.pluginPHP">
   8
   9    <runtime>
  10       <library name="PHPEclipse.jar"/>
  11    </runtime>
  12    <requires>
  13       <import plugin="org.eclipse.core.resources"/>
  14       <import plugin="org.eclipse.ui"/>
  15       <import plugin="org.eclipse.jdt.doc.isv"/>
  16       <import plugin="org.eclipse.compare"/>
  17       <import plugin="org.eclipse.core.boot"/>
  18       <import plugin="org.eclipse.core.runtime"/>
  19       <import plugin="org.eclipse.team.cvs.ssh"/>
  20       <import plugin="org.eclipse.team.cvs.core"/>
  21       <import plugin="org.eclipse.team.cvs.ui"/>
  22       <import plugin="org.eclipse.debug.core"/>
  23       <import plugin="org.eclipse.debug.ui"/>
  24       <import plugin="org.eclipse.jdt"/>
  25       <import plugin="org.eclipse.jdt.source"/>
  26       <import plugin="org.eclipse.jdt.doc.user"/>
  27       <import plugin="org.eclipse.platform"/>
  28       <import plugin="org.eclipse.platform.win32"/>
  29       <import plugin="org.eclipse.platform.doc.isv"/>
  30       <import plugin="org.eclipse.platform.source"/>
  31       <import plugin="org.eclipse.tomcat"/>
  32       <import plugin="org.eclipse.team.ui"/>
  33       <import plugin="org.eclipse.team.core"/>
  34       <import plugin="org.eclipse.swt"/>
  35       <import plugin="org.eclipse.jdt.ui"/>
  36       <import plugin="org.eclipse.jdt.debug"/>
  37       <import plugin="org.eclipse.search"/>
  38       <import plugin="org.eclipse.pde.runtime"/>
  39       <import plugin="org.eclipse.pde.ui"/>
  40       <import plugin="org.junit"/>
  41       <import plugin="org.eclipse.jdt.debug.ui"/>
  42       <import plugin="org.eclipse.pde.core"/>
  43       <import plugin="org.eclipse.pde.build"/>
  44       <import plugin="org.eclipse.platform.win32.source"/>
  45       <import plugin="org.eclipse.pde"/>
  46       <import plugin="org.eclipse.pde.source"/>
  47       <import plugin="org.eclipse.pde.doc.user"/>
  48       <import plugin="org.eclipse.sdk.win32"/>
  49       <import plugin="org.eclipse.platform.doc.user"/>
  50       <import plugin="org.eclipse.ui.externaltools"/>
  51       <import plugin="org.eclipse.help"/>
  52       <import plugin="org.eclipse.help.ui"/>
  53       <import plugin="org.eclipse.help.webapp"/>
  54       <import plugin="org.eclipse.update.ui.forms"/>
  55       <import plugin="org.eclipse.update.core"/>
  56       <import plugin="org.eclipse.update.ui"/>
  57       <import plugin="org.eclipse.jdt.core"/>
  58       <import plugin="org.eclipse.jdt.junit"/>
  59       <import plugin="org.eclipse.jdt.launching"/>
  60    </requires>
  61
  62
  63    <extension
  64          point="org.eclipse.ui.editors">
  65       <editor
  66             name="Editor PHP"
  67             icon="icons/sample.gif"
  68             extensions="php"
  69             contributorClass="org.eclipse.ui.texteditor.BasicTextEditorActionContributor"
  70             class="net.sourceforge.phpeclipse.editors.PHPEditor"
  71             id="net.sourceforge.phpeclipse.editors.PHPEditor">
  72       </editor>
  73    </extension>
  74
  75 </plugin>