dev-lang/php:8.3[json(+),session(-)]
