replace deprecated org.eclipse.jface.util.ListenerList
[phpeclipse.git] / net.sourceforge.phpeclipse.phpmanual / plugin.properties
1 #########################################
2 #
3 #########################################
4 pluginName=PHP Manual
5 providerName=PHPEclipse project team
6 viewCategoryName=PHPeclipse Web Development
7 phpManualViewName=PHP Manual