Skip to content

docs: link metrics docs to website#1370

Merged
dunglas merged 1 commit intophp:mainfrom
IndraGunawan:link-metrics-docs
Feb 17, 2025
Merged

docs: link metrics docs to website#1370
dunglas merged 1 commit intophp:mainfrom
IndraGunawan:link-metrics-docs

Conversation

@IndraGunawan
Copy link
Copy Markdown
Contributor

documentation about metrics was there but it is not shown on the website

@dunglas dunglas merged commit 9dd05b0 into php:main Feb 17, 2025
@dunglas
Copy link
Copy Markdown
Member

dunglas commented Feb 17, 2025

Thanks!

@IndraGunawan IndraGunawan deleted the link-metrics-docs branch March 25, 2025 11:56
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants