My self-written PHP snippets