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

#
# Extension point names
#
phpEditorName=PHP Editor
phpFileExtension=php