2025-08-01 - tools.pagepile
16:43	<wmbot~lucaswerkmeister@tools-bastion-13>	webservice stop && webservice --health-check-path=/howto.html php7.3 start # try to add health-check-path to avoid recurrence of T400995; appears to have broken the tool 😬	[tools.pagepile]