2025-08-01 - tools.pagepile
16:50	<wmbot~lucaswerkmeister@tools-bastion-13>	webservice stop && webservice --health-check-path=/howto.html php7.4 start # try php7.4 instead of php7.3	[tools.pagepile]