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]