added some debug snippets for PHP