A few code snippets written in PHP