This manual is written in XML using the DocBook XML DTD, using DSSSL (Document Style and Semantics Specification Language) for formatting. The tools used for formatting HTML versions are Jade, written by James Clark and The Modular DocBook Stylesheets written by Norman Walsh.
It is based on the great work, the PHP documentation group has done in the past.