Docs: html -> php