fix php snippets