Adding PHPManual and PHPmanual.htmlparser to the plugins list.
[phpeclipse.git] / build / lib /
2006-11-02 pombredannesome elements required for the build process