Hi,
This is an informational message for users of MediaWiki-Docker.
We just merged a change[0] to Mediawiki-Docker's working directory. This change was made in order to support rest.php[1]. It also makes use of a new docker image that fixes issues with loading pages with slashes in VisualEditor[2].
As a result of this change, your existing LocalSettings.php file may point to the wrong database directory. Although there is a script that should update it automatically for you[3], you can take a look at the DEVELOPERS.md troubleshooting section in core if you happen to run into an issue connecting to your database.
[0] https://gerrit.wikimedia.org/r/c/mediawiki/core/+/626144 [1] https://phabricator.wikimedia.org/T261051 [2] https://phabricator.wikimedia.org/T262392 [3] https://gerrit.wikimedia.org/r/plugins/gitiles/releng/dev-images/+/refs/head...
wikitech-l@lists.wikimedia.org