2021-09-16 - production
08:04	<moritzm>	upgrading scandium to PHP 7.2 backport of patch for enhanced DOM replaceChild/removeChild performance T291052	[production]