2022-12-07 - production
12:37	<moritzm>	upgrading mwmaint servers to PHP 7.4.33	[production]