October 2019 PHP updates

Change effective on 24 October 2019

The following new PHP runtime versions are now available:

  • PHP 7.1.33
  • PHP 7.2.24
  • PHP 7.3.11

The following PHP extensions have been updated:

  • ext-memcached, version 3.1.4
  • ext-rdkafka, version 4.0.0

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