Re: [PHP-DOC] bad urls

[Jakub Vrana]

> Maybe we should make a script that periodically checks the URL
> entities, like how the mirrors are checked. Thoughts?

You have stolen my thought :-). I've already wrote and run the script.
I sent a patch for global.ent shortly.

Jakub Vrana