My useful PHP snippets