php 5.4.7 has been released with 20 bug fixes. Reproducible: Always
17 Sep 2012; Ole Markus With <olemarkus@gentoo.org> +php-5.3.17.ebuild, +php-5.4.7.ebuild: PHP bumps