Tweak PHP snippets