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

#
# Extension point names
#
phpEditorName=Example Java Editor
phpFileExtension=php