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 0f4250d..e3bb186 100644 (file)
--- a/net.sourceforge.phpeclipse.launching/plugin.xml
+++ b/net.sourceforge.phpeclipse.launching/plugin.xml
@@ -44,6 +44,10 @@
                default="true"
                extension="php4">
          </fileExtension>
+         <fileExtension 
+               default="true"
+               extension="php5">
+         </fileExtension>
       </launchConfigurationType>
    </extension>