This port is a plugin for Eclipse (java/eclipse). It adds PHP documentation and the PHPEclipse help to Eclipse.
State Changed From-To: open->closed Committed, thanks