Legal Question: Rights To Incorporate Content In PHP Function Definition Comments?

Hi! My name is David Weekly. I run PBwiki, the world's biggest wiki farm, which is proudly entirely powered by PHP. We'd like to understand the legal ramifications of incorporating into our source base functions posted by users as comments on PHP function definitions in your online manual. Your add-note.php notice says "This means that any note submitted here becomes the property of the PHP Documentation Group." but it's not clear how one obtains permission from the PHP Documentation Group to make use of the code in the notes. What would be extraordinarily helpful to myself (and likely many others) is a quick note on the website (or written back to me in an email) that says: "The PHP Documentation Group openly licenses the content of the notes posted under the same license as PHP" or even "The PHP Documentation Group releases all content of notes posted into the Public Domain". While I understand it's of no particular concern to yourself, we're completing an IP review here in the next day or two, so if you did manage to attend to this quickly, it'd be a huge help. We love PHP!! Thanks For The Awesome Environment, David Weekly CEO of PBwiki