2025-12-05 - releng
16:24	<James_F>	jjb: [oojs-ui-publish] Switch to PHP 8.3	[releng]