Re: checking PHP manual for broken links

On Mon, 17 Aug 2020 at 17:43, Andreas Heigl <andreas@heigl.org> wrote: > 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 > | > +---------------------------------------------------------------------+ > Me, please :D