[PHP-DOC] Re: Notes problem

[Jeroen van Wolffelaar]

> Corrected. Now prints: "There are no user contributed notes for this
page."
> Hope this is correct :)


Certainly :). But on mirrors it still gives the old warning, I suppose? (as
it should be)

Jeroen