Re: checking PHP manual for broken links

Hey Tiffany and Docs-List Some time ago I added monitoring of the PHP-infrastructure via OhDear-App. They also do checks for broken links. I could happily activate that for the docs and add someone to the team that handles these ikind of issues then. Any takers? Apart from Tiffany? ;-) Cheers Andreas Am 17.08.20 um 17:33 schrieb Tiffany Taylor: > Hi phpdocs team! > > I'm looking at improving a few pages (based on the previous discussion > about incorporating user comments into the PHP manual), and a comment > was raised about adding a link to an external resource. I'm hesitant to > do this as I used to maintain a website that linked to a few hundred > different external resources and broken links were a common problem. > But, with that website, a tool was used that crawled the site for broken > links and email a report if there were any. > > Onto my question! > Is there an automated script or process that checks the PHP manual for > broken links and sends an email to the phpdocs list with these broken links? > > Thanks, > Tiffany Taylor -- ,,, (o o) +---------------------------------------------------------ooO-(_)-Ooo-+ | Andreas Heigl | | mailto:andreas@heigl.org N 50°22'59.5" E 08°23'58" | | http://andreas.heigl.org http://hei.gl/wiFKy7 | +---------------------------------------------------------------------+ | http://hei.gl/root-ca | +---------------------------------------------------------------------+

Attachment: [application/pgp-signature] OpenPGP digital signature signature.asc