Documentation

Documentation moved

The documentation is now part of the PHP manual.