php 5.4: add missing man pages