Hi, Based on the license page (http://www.php.net/license/), the PHP Manual appears to only be available under the terms of the CC-BY 3.0 license.
Unfortunately for people wishing to use the code examples in the manual in their code, it appears that the CC-BY license is incompatible with several FOSS licenses, including the GPL. Is there any chance that the code examples in the manual are also available under a different license as well? Thanks, -- Robinson