fix php test: check if dotdeb_php_pinning file exists
Merge pull request #20 from Dextro/fix_php_test

fix php test: check if dotdeb_php_pinning file exists