HTML documentation for PHP
