new phpedit.gif
[phpeclipse.git] / net.sourceforge.phpeclipse / plugin.properties
1 #########################################
2 #
3 #########################################
4 pluginName=PHP Plugin
5 providerName = EclipseProject.de
6
7 #
8 # Extension point names
9 #
10 phpEditorName=PHP Editor
11 phpConsoleView=PHP Console
12 phpFileExtension=php
13 php3FileExtension=php3
14 php4FileExtension=php4