Delete php_coding_standards.md