PHP documentation manual pages from the PEAR package