Update config.rb-dist to include PHP 7.1 as a valid PHP version in the docs.
Update config.rb-dist to include PHP 7.1 as a valid PHP version in the docs.

clwdev/precip,clwdev/precip,clwdev/precip,clwdev/precip