[Bot] Other PHP 8.5.12-nmm1