Everything
php
Learn
Community
Releases
The PHP Project
Learn
Community
Releases
The PHP Project
Home
»
Project
»
Newsgroups
»
php.internals
»
Fix for man page (bug #30727)
»
Fix for man page (bug #30727)
php.internals
Jakub Vrana
21 years ago
Hello! This is trivial patch for `man php` fixing bug #30727. Can somebody with sufficient karma please commit it? Jakub Vrana