2026-10-24 - tools.mwdemo
01:04	<bd808>	update.php not working because MediaWiki apparently requires a newer MariaDB than ToolsDB provides. :/	[tools.mwdemo]