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