Fix correct extension in comment of example#9712

lex111 wants to merge 1 commit intosymfony:4.0symfony/symfony-docs:4.0from

lex111:patch-4lex111/symfony-docs:patch-4Copy head branch name to clipboard