Fix php snippet