Bump the dev-docker group with 3 updates #3850

Job	Run time
Comment on a pull request with Playground details	-1s
post-welcome-message	-1s
Manage Trac ticket reminders for pull requests	-1s
	-3s

Provide feedback