Docs: changes in PHP format