format *.php