PHP versions

Bump PHP versions following :

- http://www.php.net/archive/2013.php#id2013-12-12-1
- http://www.php.net/archive/2013.php#id2013-12-12-2
- http://www.php.net/archive/2013.php#id2013-12-12-3