-- PHP General Mailing List (http://www.php.net/) To unsubscribe, visit: http://www.php.net/unsub.php
As far as I know, no one has done that yet. Although all of the PHP manual
pages are written in XML so if you were so inclined you could do it yourself.
And I'm sure others would appreciate it if you shared it :)
