Manual:BenchmarkCommentFormatter.php