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