Add some php-mode snippets