server-side code snippets in php