List of steps to reproduce (step by step, including full links if applicable):

1. mw dev mediawiki create
2. mw dev mysql create
3. mw dev mediawiki install --dbtype mysql

Then try either:
4-1. mw dev mysql destroy and access http://default.mediawiki.mwdd.localhost:8080/
4-2. or just access http://RANDOM-STRING.mediawiki.mwdd.localhost:8080/

What happens?:

A page with the next error is shown:

Warning: Uncaught Wikimedia\Rdbms\DBConnectionError: Cannot access the database: Unable to connect to PostgreSQL server: could not translate host name "postgres" to address: Name or service not known (postgres)

What should have happened instead?:

A message should appear that says there is no database available, without mentioning specific DB type.

Software version:

mw version:
GitCommit: 1f910e3
GitBranch: master
GitState: dirty
GitSummary: 1f910e3
BuildDate: 2021-07-14T23:35:23Z
Version: v0.1.0