PHP 5.3.22 and 5.4.12 to distributions