Drop PHPDoctor config as we're planning to migrate to PHPDoc