PHP Snippet: php-printr