Updated the behavior of the checkDNS option#9131

javiereguiluz wants to merge 2 commits intosymfony:3.4symfony/symfony-docs:3.4from

javiereguiluz:fix_8171javiereguiluz/symfony-docs:fix_8171Copy head branch name to clipboard