Merge pull request #1393 from stanley-cheung/minor_update_php_dockerfile

php dockerfile: one dependency was listed twice