EclipseReporter::paintHeader PHP Méthode