Upgrade edge to php 5.4 tree
PHP 5.4 is available since some time. Currently we are still on 5.3.
http://www.php.net/downloads.php
(from redmine: issue id 1273, created on 2012-07-23, closed on 2013-04-24)
PHP 5.4 is available since some time. Currently we are still on 5.3.
http://www.php.net/downloads.php
(from redmine: issue id 1273, created on 2012-07-23, closed on 2013-04-24)