Switch from PHP5 to PHP7 planned

Posted on Tuesday 6 August 2019, at 13:36 UTC

As most of you know, PHP7 is available for a couple of years now, and more and more CMS and such are removing their backward compatibility with PHP5 up to the point that we now really need to upgrade.

We can't easily keep both installed, PHP5 is available up to Debian Jessie (8) and PHP7 support is available from Debian Stretch (9), therefore we have to do a hard change.

This really is going to break things a lot, so, please check locally if your website works with PHP7, and fix it if necessary, we will do the switch in a couple of weeks.

Again, please check, IT WILL BREAK THINGS.

Edit 2019-08-26: It's been 3 weeks, last reminder, change in few days !

Edit 2019-08-29: First step done, it went not as bad as planned since both PHP5 and PHP7 are available, however PHP5 is now without curl due to a conflict with libcurl. PHP5 is still the default but will be switched to PHP7, meanwhile PHP7 can be enabled by adding AddType application/x-httpd-php7 .php to your .htaccess file.

SCM access issues

Posted on Friday 17 May 2019, at 18:36 UTC

We are currently having issues with SCM accesses due to a hard disk failure.

No data is lost, the issue does not affect data storage. We managed to restore ssh access, Git and Subversion anonymous access. Web anonymous access (gitweb, svnweb) will be back later.

Edit 2019-05-22 15:45 UTC: Everything is back!