ports/160207: [NEW PORT] devel/php5-dav: The PHP WebDAV extension

[edwin at FreeBSD.org]

Synopsis: [NEW PORT] devel/php5-dav: The PHP WebDAV extension

Class-Changed-From-To: update->change-request
Class-Changed-By: edwin
Class-Changed-When: Fri Aug 26 11:10:27 UTC 2011
Class-Changed-Why: 
Fix category (new ports should be change-requests) (via the GNATS Auto
Assign Tool)

http://www.freebsd.org/cgi/query-pr.cgi?pr=160207