Concerning the licensing of PHP Snippets in comments

-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 It appears that comments submitted to the PHP Manual become property of the PHP Documentation group. I am currently submitting a patch to MediaWiki concerning magic_quotes cleaning, and the patch is based upon a comment on this page: http://us3.php.net/manual/en/function.get-magic-quotes-gpc.php The relevant bugzilla entry is: http://bugzilla.wikimedia.org/show_bug.cgi?id=4381 Ævar Arnfjörð Bjarmason, one of the primary developers of the application, brought up licensing issues about the derivation from the code. I believe the comments are covered under the same license as the PHP manual is, and that it is largely compatible with the GPL. However, section VI is being invoked, which, according to the page http://www.gnu.org/licenses/license-list.html makes them incompatible. At this point, I am not a copyright lawyer, so I could not figure out whether or not it would be proper to use even a heavily modified work from the PHP manual. What is the licensing of the code snippets in the comments of the PHP manual, and are they compatible with the GNU GPL? Thanks. - -- Edward Z. Yang Personal: edwardzyang@thewritingpot.com SN:Ambush Commander Website: http://www.thewritingpot.com/ GPGKey:0x869C48DA http://www.thewritingpot.com/gpgpubkey.asc 3FA8 E9A9 7385 B691 A6FC B3CB A933 BE7D 869C 48DA -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.1 (MingW32) iD8DBQFDtswOqTO+fYacSNoRAvN+AJ9bjYETDkzBWhZLW/PMPCAXoaE1iQCfayuO LCIgFEHu3S4P0rymxysJM+w= =0eK0 -----END PGP SIGNATURE-----