Page MenuHomePhabricator
Create Task
Maniphest T319461

Add "last updated" timestamp to test coverage index pages
Closed, ResolvedPublic
Actions

Description

It'd be really useful if https://doc.wikimedia.org/cover/ for example listed a "last updated" timestamp against each library (or skin, extension etc)

Details

SubjectRepoBranchLines +/-
CoveragePage: Output mtime as last modifiedintegration/docrootmaster+2 -0
Customize query in gerrit

Event Timeline

Reedy created this task.Oct 5 2022, 6:55 PM
Restricted Application added a subscriber: Aklapper. · View Herald TranscriptOct 5 2022, 6:55 PM
Reedy renamed this task from Add "last updated" timestamp to test coverage pages to Add "last updated" timestamp to test coverage index pages.Oct 5 2022, 6:56 PM
Reedy added a subtask: T319462: Improve Doxygen's output by outputting the generated timestamp so we can easily see if docs are out of date.Oct 5 2022, 7:01 PM
gerritbot added a comment.Oct 5 2022, 7:21 PM

Change 838880 had a related patch set uploaded (by Reedy; author: Reedy):

[integration/docroot@master] CoveragePage: Output mtime as last modified

https://gerrit.wikimedia.org/r/838880

gerritbot added a project: Patch-For-Review.Oct 5 2022, 7:21 PM
gerritbot added a comment.Oct 5 2022, 7:47 PM

Change 838880 merged by jenkins-bot:

[integration/docroot@master] CoveragePage: Output mtime as last modified

https://gerrit.wikimedia.org/r/838880

Stashbot added a comment.Oct 5 2022, 7:56 PM

Mentioned in SAL (#wikimedia-operations) [2022-10-05T19:56:55Z] <reedy@deploy1002> Started deploy [integration/docroot@09eb565]: T319461 and cleanup

Stashbot added a comment.Oct 5 2022, 7:57 PM

Mentioned in SAL (#wikimedia-operations) [2022-10-05T19:57:05Z] <reedy@deploy1002> Finished deploy [integration/docroot@09eb565]: T319461 and cleanup (duration: 00m 10s)

Jdforrester-WMF removed a subtask: T319462: Improve Doxygen's output by outputting the generated timestamp so we can easily see if docs are out of date.Oct 5 2022, 8:25 PM
Maintenance_bot removed a project: Patch-For-Review.Oct 5 2022, 8:30 PM
Reedy closed this task as Resolved.Oct 6 2022, 12:56 AM
Reedy claimed this task.

Probably some styling/formatting to be added, but otherwise it works

hashar subscribed.Oct 6 2022, 7:31 AM

Result from https://doc.wikimedia.org/cover/

doc_cover_homepage.png (398×887 px, 48 KB)

Thanks for the fix!

Content licensed under Creative Commons Attribution-ShareAlike (CC BY-SA) 4.0 unless otherwise noted; code licensed under GNU General Public License (GPL) 2.0 or later and other open source licenses. By using this site, you agree to the Terms of Use, Privacy Policy, and Code of Conduct. · Wikimedia Foundation · Privacy Policy · Code of Conduct · Terms of Use · Disclaimer · CC-BY-SA · GPL · Credits