Re: checking PHP manual for broken links

Hi Derick,

> I could happily activate that for the docs and add someone to the team
> > that handles these ikind of issues then.
>
> There is already a script in doc-base, at scripts/checkent.php.
>

This is my fault, I sent Andreas an email directly, but did not realize I
didn't use "reply all" in the gmail interface, so it sent it to him
off-list by mistake. I brought this script to his attention. I'm going to
try it out in a local environment and see how the script works, and fix it,
if it needs fixing. I do believe that having more than one source "of
truth" is beneficial in case one source reports false-positives.

Tiffany