new phpedit.gif

[phpeclipse.git] / net.sourceforge.phpeclipse / plugin.properties

diff --git a/net.sourceforge.phpeclipse/plugin.properties b/net.sourceforge.phpeclipse/plugin.properties
index 708b293..1d7f7bd 100644 (file)
--- a/net.sourceforge.phpeclipse/plugin.properties
+++ b/net.sourceforge.phpeclipse/plugin.properties
@@ -7,5 +7,8 @@ providerName = EclipseProject.de
 #
 # Extension point names
 #
-phpEditorName=Example Java Editor
+phpEditorName=PHP Editor
+phpConsoleView=PHP Console
 phpFileExtension=php
+php3FileExtension=php3
+php4FileExtension=php4