Update php_coding_style.md