October 2018 PHP runtimes and extensions update

Change effective on 16 October 2018

The following new runtime versions are now available for PHP applications:

  • PHP 7.1.23
  • PHP 7.2.11

The following PHP extensions have been added or updated:

  • ext-blackfire, version 1.23.1
  • ext-mongodb, version 1.5.3
  • ext-newrelic, version
  • ext-oauth, version 2.0.3

The SERVER_NAME CGI variable is now always the requested hostname instead of localhost when using the Nginx web server.