Page MenuHomePhabricator

Remove repoDatabase legacy setting
Closed, ResolvedPublic

Event Timeline

Lucas_Werkmeister_WMDE renamed this task from Remove repoDatabase legacy sett to Remove repoDatabase legacy setting.Jul 23 2021, 11:18 AM
Lucas_Werkmeister_WMDE claimed this task.
Lucas_Werkmeister_WMDE created this task.

Change 708075 had a related patch set uploaded (by Lucas Werkmeister (WMDE); author: Lucas Werkmeister (WMDE)):

[mediawiki/extensions/Wikibase@master] Remove legacy repoDatabase setting

https://gerrit.wikimedia.org/r/708075

Change 708075 merged by jenkins-bot:

[mediawiki/extensions/Wikibase@master] Remove legacy repoDatabase setting

https://gerrit.wikimedia.org/r/708075