minor changes

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

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