update other/php_coding_style.md