2022-05-04 - production
20:07	<cjming@deploy1002>	Synchronized php-1.39.0-wmf.10/extensions/WikimediaEvents/includes/PageSplitter/PageSplitterInstrumentation.php: Backport: [[gerrit:788849|Fix undefined offset error (T307019)]] (duration: 00m 50s)	[production]