Update documentation -- JSON support in PHP 5.5.