Update phpdoctor.ini

Change default formatter to HTML standard formatter