Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add last modification info and contributor list #977

Merged

Conversation

haszi
Copy link
Contributor

@haszi haszi commented Apr 19, 2024

Add last commit date/time and author, as well as the list of all contributors to each documentation page.

Correct the casing and add the missing word "to" to the "Learn How To Improve This Page" link.

Needs php/phd#115 for it to work.

Copy link

🚀 Commit fbe5898 Deployed on https://web-php-pr-977.preview.thephp.foundation

@haszi
Copy link
Contributor Author

haszi commented Apr 19, 2024

Once the commit history files are generated and uploaded to the documentation repositories, the "Improve This Page" section will look like this:

h1

@haszi
Copy link
Contributor Author

haszi commented Apr 19, 2024

And clicking the "All contributors" link would show a list of all who authored a commit to the current page like this:

docs2

@Girgias Girgias merged commit 739e1f5 into php:master Apr 20, 2024
4 checks passed
@haszi haszi deleted the Add-last-modification-info-and-contributor-list branch April 20, 2024 17:04
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.

2 participants