merged
Merge pull request #1194 from LorenzoBoccaccia/php-dist-integration

php integration