2025-05-14 - production
13:11	<lucaswerkmeister-wmde@deploy1003>	lucaswerkmeister-wmde: Backport for [[gerrit:1139489|manage-dblist: Rename to manage-dblist.php (T392819)]] synced to the testservers (https://wikitech.wikimedia.org/wiki/Mwdebug)	[production]