#########################################
#
#########################################
pluginName=PHP Plugin
providerName = EclipseProject.de

#
# Extension point names
#
phpEditorName=PHP Editor
phpFileExtension=php
php3FileExtension=php3
php4FileExtension=php4