-
Fabien Potencier authored
This PR was squashed before being merged into the master branch (closes #680). Discussion ---------- Adding "port" option in DoctrineServiceProvider In doctrine.rst and DoctrineServiceProvider.php Commits ------- a140a694 Adding "port" option in DoctrineServiceProvider
a0b5f746