Changes in PHP format docs