format PHP source and remove `@` prefix