php.snip