2026-10-23 - production
22:43	<bd808>	tools.mwdemo update.php not working because MediaWiki apparently requires a newer MariaDB than ToolsDB provides. :/	[production]