new phpedit.gif
[phpeclipse.git] / net.sourceforge.phpeclipse / plugin.properties
index 708b293..1d7f7bd 100644 (file)
@@ -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