SimpleReporterDecorator::getDumper PHP Méthode