[PHP-DOC] benchmark_timer.xml

[Hojtsy Gabor]

Hi!

There is a benchmark_timer.xml file in the
pear doc dir, but it is not included in the
building process... Why it is not listed
in manual.xml.in???

Goba