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)
At 17.00 UTC, gitlab will be upgraded and briefly unavailable.
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)