fix php snippet