Fix for man page (bug #30727)

20 years ago by Frank M. Kromann — view source

unread

Commited.

Hello!

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

Jakub Vrana