Made PHPDump output the default