Documentation content licensing:

    Copyright © 1997 - 2017 by the PHP Documentation Group. This material
    may be distributed only subject to the terms and conditions set forth
    in the Creative Commons Attribution 3.0 License or later. A copy of
    the Creative Commons Attribution 3.0 license is distributed with this
    manual. The latest version is presently available at »
    http://creativecommons.org/licenses/by/3.0/.

    If you are interested in redistribution or republishing of this
    document in whole or in part, either modified or unmodified, and you
    have questions, please contact the Copyright holders at »
    doc-license@lists.php.net. Note that this address is mapped to a
    publicly archived mailing list.

Documentation tools licensing:

    Most of the custom scripts used to build the documentation are
    under the PHP License. Please check the license headers in the
    files for more details.

