Doctrine server_version should always be a string#10082

javiereguiluz merged 1 commit intosymfony:2.8symfony/symfony-docs:2.8from

alexander-schranz:patch-1alexander-schranz/symfony-docs:patch-1Copy head branch name to clipboard