Merge branch '3427357-tidy-up-phpcs-related-things' into 'main'

Fran Garcia-Linares created pipeline for commit 22abe051

Apr 5, 2024, finished Apr 8, 2024

Related merge request !156 to merge 3427357-tidy-up-phpcs-related-things into main

4 minutes 49 seconds, queued for 20 seconds