PR #1366 fix missing metrics

fix missing metrics #1366

dunglas merged 3 commits into php:main from fix-missing-metrics

fix missing metrics

4b663483

update tests

7306d42e

withinboredom commented on 2025-02-10

use interface instead

d29dade9

dunglas approved these changes on 2025-02-12

dunglas merged 4c926333 into main 349 days ago

IndraGunawan deleted the fix-missing-metrics branch 308 days ago

Reviewers

dunglas

withinboredom

Assignees

No one assigned

Labels

None yet

Milestone

No milestone