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