Monday 8th April 2019

• PHP 7.1 was updated version 7.1.28
• PHP 7.2 was updated version 7.2.17
• for both versions, we added the phpredis extension, see our updated documentation for details

ops-php71/unknown 7.1.28-ops-11434 amd64 [upgradable from: 7.1.27-ops-10900]
ops-php72/unknown 7.2.17-ops-11435 amd64 [upgradable from: 7.2.16-ops-10864]