added some snippets for PHP