PHP 5.6.38, 7.0.32, 7.1.22 & 7.2.10 released: fix bugs