2022-09-26 - production
13:41	<lucaswerkmeister-wmde@deploy1002>	Synchronized php-1.40.0-wmf.2/extensions/WikimediaIncubator/extension.json: Backport: [[gerrit:835130|Set default sortkey for prefixed pages (T315551)]] (2/2) (duration: 03m 39s)	[production]