update file snippets/php.snippets in repository on date 2014-11-13