Une release 4.3 ?
Pour combler l'écart entre la 4.2 figée et la 5.0 pour 2025 PHP 8.2 mini, quelles sont les PRs (déjà mergées en branche dev, mais pas reportées/reportables dans une 4.2) que l'on voudrait intégrer dans une release 4.3 pour cet été par exemple ?
Je vous propose de pointer ici vos PRs préférées du core et des plugins-dist