Disable dev tools by default#679

dunglas merged 2 commits intosymfony:mainsymfony/panther:mainfrom

dmitryuk:disable-ci-toolsdmitryuk/panther:disable-ci-toolsCopy head branch name to clipboard