Update dotdeb_php_pinning