documentation copyright question.

Hello, Our company is planning to develop some editor specially meant to develop PHP scripts and we had the idea to integrate alot of help and manuals (list of all functions, their syntax and descriptions, etc.) inside the program so that the user has all the information close. We don`t have all the knowledge to write this ourselves, so our question is basically this: are we allowed to use (read: copy) your PHP manual in our program? We would need the function names, the descriptions of them and the explanation of the arguments. Please let me know if we can do this, if there are any limitations to it, or if it`s not allowed at all. Thank you for your time and keep up the great site, Kind regards, Sander van de Merwe info@chainware.com