new htmledit.gif and phpedit.gif (Mark Chakerian)

[phpeclipse.git] / net.sourceforge.phpeclipse.launching / plugin.xml

diff --git a/net.sourceforge.phpeclipse.launching/plugin.xml b/net.sourceforge.phpeclipse.launching/plugin.xml
index 03c5dd5..e3bb186 100644 (file)
--- a/net.sourceforge.phpeclipse.launching/plugin.xml
+++ b/net.sourceforge.phpeclipse.launching/plugin.xml
@@ -21,6 +21,7 @@
       <import plugin="org.eclipse.debug.core"/>
       <import plugin="net.sourceforge.phpeclipse"/>
       <import plugin="net.sourceforge.phpeclipse.debug.core"/>
+      <import plugin="org.eclipse.debug.ui"/>
    </requires>
 
 
@@ -43,6 +44,10 @@
                default="true"
                extension="php4">
          </fileExtension>
+         <fileExtension 
+               default="true"
+               extension="php5">
+         </fileExtension>
       </launchConfigurationType>
    </extension>