[PHP-DOC] Re: Notes problem From: Jeroen van Wolffelaar (jeroen <email protected>)
Date: 06/29/01

> 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