Fix for man page (bug #30727)

20 years ago by Jakub Vrana — view source

unread

Hello!

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

Jakub Vrana