Cleanup some php snippets