Delete format-php-formatting-user-io.md