Currently the dev environment most are using (https://github.com/addshore/mediawiki-docker-dev) is no longer actively maintained. There is another dev environment that some people started using recently (https://github.com/addshore/mwcli).
Do we want to have the same dev environment? If yes, which one?
- Evaluating the new dev environment option
- Deciding as a group (e.g. by voting) whether we all want to use it