######################################### # ######################################### pluginName=PHP Plugin Help providerName=phpeclipse.de phphelpLabel=PHP Help phphelpFormat=Help (WIN_32 *.chm format)