Add more garbage collector details to event telemetry#5431

Closed

sebastianbergmann wants to merge 1 commit intomainfrom

event-telemetry-time-spent-collecting-garbage

Commits on Jul 18, 2023

Use garbage collector information introduced in https://github.com/php/php-src/pull/11523
sebastianbergmann
committed