July 2020 PHP updates

Change effective on 09 July 2020

The following new PHP runtime versions are now available:

  • PHP 7.2.32
  • PHP 7.3.20
  • PHP 7.4.8

The following PHP extensions have been added or updated:

  • ext-mongodb, version 1.7.5
  • ext-redis, version 5.3.1

The version of Composer used during builds has been updated to 1.10.8.

The librdkafka library used by the ext-rdkafka extension has been updated to version 1.4.4.