An HTML generator for PHP