New comment by paper42 on void-packages repository https://github.com/void-linux/void-packages/pull/42230#issuecomment-1454902685 Comment: php is now a meta-package pointing to the latest php version, so php 7 is now removed and this patch is not necessary