Table of Contents Introduction Overview of the build system Contributing to the documentation Setting up a local build environment Editing the PHP Manual Documentation structure Style guidelines Coding standard for examples Translating documentation Joining the team Appendices FAQ Tools Frequently used tags and entities User Note Editing Guidelines Setting up a local web development environment How the released versions are built