Fix for man page (bug #30727)

21 years ago by Frank M. Kromann — view source — reply

unread

Commited.

Hello!

This is trivial patch for man php fixing bug #30727. Can somebody
with
sufficient karma please commit it?

Jakub Vrana