]> granicus.if.org Git - php/log
php
7 years agoMerge branch 'PHP-7.2'
Derick Rethans [Wed, 16 Aug 2017 14:21:23 +0000 (15:21 +0100)]
Merge branch 'PHP-7.2'

7 years agoMerge branch 'PHP-7.1' into PHP-7.2
Derick Rethans [Wed, 16 Aug 2017 14:21:02 +0000 (15:21 +0100)]
Merge branch 'PHP-7.1' into PHP-7.2

7 years agoMerge branch 'PHP-7.0' into PHP-7.1
Derick Rethans [Wed, 16 Aug 2017 14:20:45 +0000 (15:20 +0100)]
Merge branch 'PHP-7.0' into PHP-7.1

7 years agoRevert "Upgrade timelib to 2017.05beta7"
Derick Rethans [Wed, 16 Aug 2017 14:19:18 +0000 (15:19 +0100)]
Revert "Upgrade timelib to 2017.05beta7"

This reverts commit bdd56f31078bf1f34341943603cf6aaa72e0db5c.

7 years agoRevert "Remove removed header files from configuration files."
Derick Rethans [Wed, 16 Aug 2017 14:19:11 +0000 (15:19 +0100)]
Revert "Remove removed header files from configuration files."

This reverts commit 3df753c6ca3ebc95dc0e837b2d4dc20753b5aea2.

7 years agoMerge branch 'PHP-7.2'
Derick Rethans [Wed, 16 Aug 2017 10:15:01 +0000 (11:15 +0100)]
Merge branch 'PHP-7.2'

7 years agoMerge branch 'PHP-7.1' into PHP-7.2
Derick Rethans [Wed, 16 Aug 2017 10:14:53 +0000 (11:14 +0100)]
Merge branch 'PHP-7.1' into PHP-7.2

7 years agoMerge branch 'PHP-7.0' into PHP-7.1
Derick Rethans [Wed, 16 Aug 2017 10:14:47 +0000 (11:14 +0100)]
Merge branch 'PHP-7.0' into PHP-7.1

7 years agoFixed stupid test
Derick Rethans [Wed, 16 Aug 2017 10:14:41 +0000 (11:14 +0100)]
Fixed stupid test

7 years agoMerge branch 'PHP-7.2'
Derick Rethans [Wed, 16 Aug 2017 08:51:43 +0000 (09:51 +0100)]
Merge branch 'PHP-7.2'

7 years agoMerge branch 'PHP-7.1' into PHP-7.2
Derick Rethans [Wed, 16 Aug 2017 08:51:36 +0000 (09:51 +0100)]
Merge branch 'PHP-7.1' into PHP-7.2

7 years agoMerge branch 'PHP-7.0' into PHP-7.1
Derick Rethans [Wed, 16 Aug 2017 08:51:28 +0000 (09:51 +0100)]
Merge branch 'PHP-7.0' into PHP-7.1

7 years agoAdded timelib version to phpinfo()
Derick Rethans [Wed, 16 Aug 2017 08:51:21 +0000 (09:51 +0100)]
Added timelib version to phpinfo()

7 years agoMerge branch 'PHP-7.2'
Dmitry Stogov [Wed, 16 Aug 2017 06:18:22 +0000 (09:18 +0300)]
Merge branch 'PHP-7.2'

* PHP-7.2:
  Added few more jump threading optimisation patterns

7 years agoAdded few more jump threading optimisation patterns
Dmitry Stogov [Wed, 16 Aug 2017 06:17:32 +0000 (09:17 +0300)]
Added few more jump threading optimisation patterns

7 years agoMerge branch 'PHP-7.2'
Remi Collet [Wed, 16 Aug 2017 05:46:57 +0000 (07:46 +0200)]
Merge branch 'PHP-7.2'

* PHP-7.2:
  cleanup

7 years agoMerge branch 'PHP-7.1' into PHP-7.2
Remi Collet [Wed, 16 Aug 2017 05:46:42 +0000 (07:46 +0200)]
Merge branch 'PHP-7.1' into PHP-7.2

* PHP-7.1:
  cleanup

7 years agoMerge branch 'PHP-7.0' into PHP-7.1
Remi Collet [Wed, 16 Aug 2017 05:46:23 +0000 (07:46 +0200)]
Merge branch 'PHP-7.0' into PHP-7.1

* PHP-7.0:
  cleanup

7 years agocleanup
Remi Collet [Wed, 16 Aug 2017 05:46:07 +0000 (07:46 +0200)]
cleanup

7 years agoMerge branch 'PHP-7.2'
Derick Rethans [Tue, 15 Aug 2017 19:24:50 +0000 (20:24 +0100)]
Merge branch 'PHP-7.2'

7 years agoMerge branch 'PHP-7.1' into PHP-7.2
Derick Rethans [Tue, 15 Aug 2017 19:24:44 +0000 (20:24 +0100)]
Merge branch 'PHP-7.1' into PHP-7.2

7 years agoMerge branch 'PHP-7.0' into PHP-7.1
Derick Rethans [Tue, 15 Aug 2017 19:24:21 +0000 (20:24 +0100)]
Merge branch 'PHP-7.0' into PHP-7.1

7 years agoRemove removed header files from configuration files.
Derick Rethans [Tue, 15 Aug 2017 19:22:41 +0000 (20:22 +0100)]
Remove removed header files from configuration files.

7 years agoMerge branch 'PHP-7.2'
Derick Rethans [Tue, 15 Aug 2017 14:07:31 +0000 (15:07 +0100)]
Merge branch 'PHP-7.2'

7 years agoMerge branch 'PHP-7.1' into PHP-7.2
Derick Rethans [Tue, 15 Aug 2017 14:07:24 +0000 (15:07 +0100)]
Merge branch 'PHP-7.1' into PHP-7.2

7 years agoMerged PHP-7.0 by hand due to conflicts.
Derick Rethans [Tue, 15 Aug 2017 14:06:18 +0000 (15:06 +0100)]
Merged PHP-7.0 by hand due to conflicts.

7 years agoUpgrade timelib to 2017.05beta7
Derick Rethans [Tue, 15 Aug 2017 13:09:09 +0000 (14:09 +0100)]
Upgrade timelib to 2017.05beta7

7 years agoMerge branch 'PHP-7.2'
Dmitry Stogov [Tue, 15 Aug 2017 11:47:17 +0000 (14:47 +0300)]
Merge branch 'PHP-7.2'

* PHP-7.2:
  Fixed possible incorrect result of type verification.

7 years agoFixed possible incorrect result of type verification.
Dmitry Stogov [Tue, 15 Aug 2017 11:46:18 +0000 (14:46 +0300)]
Fixed possible incorrect result of type verification.

7 years agoMerge branch 'PHP-7.2'
Dmitry Stogov [Tue, 15 Aug 2017 10:13:50 +0000 (13:13 +0300)]
Merge branch 'PHP-7.2'

* PHP-7.2:
  Made test 32/64-bit independent

7 years agoMerge branch 'PHP-7.1' into PHP-7.2
Dmitry Stogov [Tue, 15 Aug 2017 10:13:27 +0000 (13:13 +0300)]
Merge branch 'PHP-7.1' into PHP-7.2

* PHP-7.1:
  Made test 32/64-bit independent

7 years agoMade test 32/64-bit independent
Dmitry Stogov [Tue, 15 Aug 2017 10:12:54 +0000 (13:12 +0300)]
Made test 32/64-bit independent

7 years agoMerge branch 'PHP-7.2'
Dmitry Stogov [Tue, 15 Aug 2017 10:02:29 +0000 (13:02 +0300)]
Merge branch 'PHP-7.2'

* PHP-7.2:
  Skip 64-bit related test
  Update NEWS for 7.2.0RC1
  Update NEWS for PHP 7.2.0beta3

7 years agoMerge branch 'PHP-7.1' into PHP-7.2
Dmitry Stogov [Tue, 15 Aug 2017 10:01:06 +0000 (13:01 +0300)]
Merge branch 'PHP-7.1' into PHP-7.2

* PHP-7.1:
  Skip 64-bit related test

7 years agoSkip 64-bit related test
Dmitry Stogov [Tue, 15 Aug 2017 10:00:45 +0000 (13:00 +0300)]
Skip 64-bit related test

7 years agoUpdate NEWS for 7.2.0RC1
Remi Collet [Tue, 15 Aug 2017 08:54:17 +0000 (08:54 +0000)]
Update NEWS for 7.2.0RC1

7 years agoUpdate NEWS for PHP 7.2.0beta3
Remi Collet [Tue, 15 Aug 2017 08:39:24 +0000 (08:39 +0000)]
Update NEWS for PHP 7.2.0beta3

7 years agoMerge branch 'PHP-7.2'
Anatol Belski [Tue, 15 Aug 2017 07:36:57 +0000 (09:36 +0200)]
Merge branch 'PHP-7.2'

* PHP-7.2:
  move dev to 7.0.24

7 years agoMerge branch 'PHP-7.1' into PHP-7.2
Anatol Belski [Tue, 15 Aug 2017 07:36:41 +0000 (09:36 +0200)]
Merge branch 'PHP-7.1' into PHP-7.2

* PHP-7.1:
  move dev to 7.0.24

7 years agoMerge branch 'PHP-7.0' into PHP-7.1
Anatol Belski [Tue, 15 Aug 2017 07:36:14 +0000 (09:36 +0200)]
Merge branch 'PHP-7.0' into PHP-7.1

* PHP-7.0:
  move dev to 7.0.24

7 years agomove dev to 7.0.24
Anatol Belski [Tue, 15 Aug 2017 07:33:30 +0000 (09:33 +0200)]
move dev to 7.0.24

7 years agoMerge branch 'PHP-7.2'
Xinchen Hui [Tue, 15 Aug 2017 04:35:31 +0000 (12:35 +0800)]
Merge branch 'PHP-7.2'

* PHP-7.2:
  Update NEWS
  Update NEWS
  Fixed bug #75075 (unpack with X* causes infinity loop)

7 years agoUpdate NEWS
Xinchen Hui [Tue, 15 Aug 2017 04:35:17 +0000 (12:35 +0800)]
Update NEWS

7 years agoMerge branch 'PHP-7.1' into PHP-7.2
Xinchen Hui [Tue, 15 Aug 2017 04:35:10 +0000 (12:35 +0800)]
Merge branch 'PHP-7.1' into PHP-7.2

* PHP-7.1:
  Update NEWS
  Fixed bug #75075 (unpack with X* causes infinity loop)

7 years agoUpdate NEWS
Xinchen Hui [Tue, 15 Aug 2017 04:34:58 +0000 (12:34 +0800)]
Update NEWS

7 years agoMerge branch 'PHP-7.0' into PHP-7.1
Xinchen Hui [Tue, 15 Aug 2017 04:34:37 +0000 (12:34 +0800)]
Merge branch 'PHP-7.0' into PHP-7.1

* PHP-7.0:
  Fixed bug #75075 (unpack with X* causes infinity loop)

7 years agoFixed bug #75075 (unpack with X* causes infinity loop)
Xinchen Hui [Tue, 15 Aug 2017 04:34:13 +0000 (12:34 +0800)]
Fixed bug #75075 (unpack with X* causes infinity loop)

7 years agoMerge branch 'PHP-7.2'
Tianfang Yang [Tue, 15 Aug 2017 01:23:05 +0000 (21:23 -0400)]
Merge branch 'PHP-7.2'

7 years agoMerge branch 'PHP-7.1' into PHP-7.2
Tianfang Yang [Tue, 15 Aug 2017 01:22:17 +0000 (21:22 -0400)]
Merge branch 'PHP-7.1' into PHP-7.2

7 years agoMerge branch 'PHP-7.0' into PHP-7.1
Tianfang Yang [Tue, 15 Aug 2017 01:21:11 +0000 (21:21 -0400)]
Merge branch 'PHP-7.0' into PHP-7.1

7 years agoMerge branch 'syncoci8' into PHP-7.0
Tianfang Yang [Tue, 15 Aug 2017 01:16:34 +0000 (21:16 -0400)]
Merge branch 'syncoci8' into PHP-7.0

7 years agoPrepare for PECL release
Tianfang Yang [Tue, 15 Aug 2017 01:07:41 +0000 (21:07 -0400)]
Prepare for PECL release

7 years agoMerge branch 'PHP-7.2'
Anatol Belski [Mon, 14 Aug 2017 12:40:38 +0000 (14:40 +0200)]
Merge branch 'PHP-7.2'

* PHP-7.2:
  Test cleanup improvements, files might be locked in the test process

7 years agoMerge branch 'PHP-7.1' into PHP-7.2
Anatol Belski [Mon, 14 Aug 2017 12:40:26 +0000 (14:40 +0200)]
Merge branch 'PHP-7.1' into PHP-7.2

* PHP-7.1:
  Test cleanup improvements, files might be locked in the test process

7 years agoMerge branch 'PHP-7.0' into PHP-7.1
Anatol Belski [Mon, 14 Aug 2017 12:39:58 +0000 (14:39 +0200)]
Merge branch 'PHP-7.0' into PHP-7.1

* PHP-7.0:
  Test cleanup improvements, files might be locked in the test process

7 years agoTest cleanup improvements, files might be locked in the test process
Anatol Belski [Mon, 14 Aug 2017 11:08:04 +0000 (13:08 +0200)]
Test cleanup improvements, files might be locked in the test process

7 years agoMerge branch 'PHP-7.2'
Anatol Belski [Mon, 14 Aug 2017 10:57:08 +0000 (12:57 +0200)]
Merge branch 'PHP-7.2'

* PHP-7.2:
  fix test cleanup

7 years agoMerge branch 'PHP-7.1' into PHP-7.2
Anatol Belski [Mon, 14 Aug 2017 10:56:49 +0000 (12:56 +0200)]
Merge branch 'PHP-7.1' into PHP-7.2

* PHP-7.1:
  fix test cleanup

7 years agoMerge branch 'PHP-7.0' into PHP-7.1
Anatol Belski [Mon, 14 Aug 2017 10:55:58 +0000 (12:55 +0200)]
Merge branch 'PHP-7.0' into PHP-7.1

* PHP-7.0:
  fix test cleanup

7 years agoMerge branch 'PHP-7.2'
Dmitry Stogov [Mon, 14 Aug 2017 10:55:44 +0000 (13:55 +0300)]
Merge branch 'PHP-7.2'

* PHP-7.2:
  Fixed removing dead live ranges

7 years agofix test cleanup
Anatol Belski [Mon, 14 Aug 2017 10:55:14 +0000 (12:55 +0200)]
fix test cleanup

7 years agoFixed removing dead live ranges
Dmitry Stogov [Mon, 14 Aug 2017 10:54:52 +0000 (13:54 +0300)]
Fixed removing dead live ranges

7 years agoMerge branch 'PHP-7.2'
Anatol Belski [Mon, 14 Aug 2017 10:25:10 +0000 (12:25 +0200)]
Merge branch 'PHP-7.2'

* PHP-7.2:
  [ci skip] update NEWS
  [ci skip] update NEWS

7 years ago[ci skip] update NEWS
Anatol Belski [Mon, 14 Aug 2017 10:24:51 +0000 (12:24 +0200)]
[ci skip] update NEWS

7 years agoMerge branch 'PHP-7.1' into PHP-7.2
Anatol Belski [Mon, 14 Aug 2017 10:24:20 +0000 (12:24 +0200)]
Merge branch 'PHP-7.1' into PHP-7.2

* PHP-7.1:
  [ci skip] update NEWS

7 years ago[ci skip] update NEWS
Anatol Belski [Mon, 14 Aug 2017 10:23:51 +0000 (12:23 +0200)]
[ci skip] update NEWS

7 years agoMerge branch 'PHP-7.2'
Dmitry Stogov [Mon, 14 Aug 2017 09:37:45 +0000 (12:37 +0300)]
Merge branch 'PHP-7.2'

* PHP-7.2:
  Fixed test

7 years agoFixed test
Dmitry Stogov [Mon, 14 Aug 2017 09:37:37 +0000 (12:37 +0300)]
Fixed test

7 years agoMerge branch 'PHP-7.2'
Dmitry Stogov [Mon, 14 Aug 2017 09:21:40 +0000 (12:21 +0300)]
Merge branch 'PHP-7.2'

* PHP-7.2:
  Order live ranges according to "start" position

7 years agoOrder live ranges according to "start" position
Dmitry Stogov [Mon, 14 Aug 2017 09:21:07 +0000 (12:21 +0300)]
Order live ranges according to "start" position

7 years agoMerge branch 'PHP-7.2'
Dmitry Stogov [Mon, 14 Aug 2017 09:11:46 +0000 (12:11 +0300)]
Merge branch 'PHP-7.2'

* PHP-7.2:
  Fixed attempt to free invalid structure (result of ROPE_INIT is not a zval)
  Revert "Fixed live_range removing (bug can be triggred by JIT)"

7 years agoFixed attempt to free invalid structure (result of ROPE_INIT is not a zval)
Dmitry Stogov [Mon, 14 Aug 2017 09:11:25 +0000 (12:11 +0300)]
Fixed attempt to free invalid structure (result of ROPE_INIT is not a zval)

7 years agoMerge branch 'PHP-7.2' of git.php.net:php-src into PHP-7.2
Dmitry Stogov [Mon, 14 Aug 2017 09:00:30 +0000 (12:00 +0300)]
Merge branch 'PHP-7.2' of git.php.net:php-src into PHP-7.2

* 'PHP-7.2' of git.php.net:php-src:
  Revert "Fixed live_range removing (bug can be triggred by JIT)"

7 years agoRevert "Fixed live_range removing (bug can be triggred by JIT)"
Dmitry Stogov [Mon, 14 Aug 2017 09:00:02 +0000 (12:00 +0300)]
Revert "Fixed live_range removing (bug can be triggred by JIT)"

This reverts commit aecf9965100e704339ccc33da6a31eca84c2d926.

7 years agoMerge branch 'PHP-7.2'
Xinchen Hui [Mon, 14 Aug 2017 08:59:14 +0000 (16:59 +0800)]
Merge branch 'PHP-7.2'

* PHP-7.2:
  Revert "Fixed live_range removing (bug can be triggred by JIT)"

7 years agoRevert "Fixed live_range removing (bug can be triggred by JIT)"
Xinchen Hui [Mon, 14 Aug 2017 08:59:01 +0000 (16:59 +0800)]
Revert "Fixed live_range removing (bug can be triggred by JIT)"

This reverts commit aecf9965100e704339ccc33da6a31eca84c2d926.

7 years agoMerge branch 'PHP-7.2'
Tianfang Yang [Mon, 14 Aug 2017 04:37:43 +0000 (00:37 -0400)]
Merge branch 'PHP-7.2'

7 years agoMerge branch 'PHP-7.1' into PHP-7.2
Tianfang Yang [Mon, 14 Aug 2017 04:36:33 +0000 (00:36 -0400)]
Merge branch 'PHP-7.1' into PHP-7.2

7 years agoMerge branch 'PHP-7.0' into PHP-7.1
Tianfang Yang [Mon, 14 Aug 2017 04:23:41 +0000 (00:23 -0400)]
Merge branch 'PHP-7.0' into PHP-7.1

7 years agoSync OCI8 on PHP 7.x branches
Tianfang Yang [Mon, 14 Aug 2017 03:44:24 +0000 (23:44 -0400)]
Sync OCI8 on PHP 7.x branches

7 years agoMerge branch 'PHP-7.2'
Anatol Belski [Sun, 13 Aug 2017 22:53:33 +0000 (00:53 +0200)]
Merge branch 'PHP-7.2'

* PHP-7.2:
  Fixed bug #75063

7 years agoMerge branch 'PHP-7.1' into PHP-7.2
Anatol Belski [Sun, 13 Aug 2017 22:51:47 +0000 (00:51 +0200)]
Merge branch 'PHP-7.1' into PHP-7.2

* PHP-7.1:
  Fixed bug #75063

7 years agoFixed bug #75063
Anatol Belski [Sun, 13 Aug 2017 22:44:19 +0000 (00:44 +0200)]
Fixed bug #75063

7 years agoMerge branch 'pull-request/2670'
Christoph M. Becker [Sun, 13 Aug 2017 19:17:05 +0000 (21:17 +0200)]
Merge branch 'pull-request/2670'

* pull-request/2670:
  Change getimagesize() and friends to report image/bmp

7 years agoMerge branch 'PHP-7.2'
Christoph M. Becker [Sun, 13 Aug 2017 19:10:37 +0000 (21:10 +0200)]
Merge branch 'PHP-7.2'

* PHP-7.2:
  Fixed bug #73793 (WDDX uses wrong decimal seperator)

7 years agoMerge branch 'PHP-7.1' into PHP-7.2
Christoph M. Becker [Sun, 13 Aug 2017 19:05:18 +0000 (21:05 +0200)]
Merge branch 'PHP-7.1' into PHP-7.2

* PHP-7.1:
  Fixed bug #73793 (WDDX uses wrong decimal seperator)

7 years agoMerge branch 'PHP-7.0' into PHP-7.1
Christoph M. Becker [Sun, 13 Aug 2017 18:53:32 +0000 (20:53 +0200)]
Merge branch 'PHP-7.0' into PHP-7.1

* PHP-7.0:
  Fixed bug #73793 (WDDX uses wrong decimal seperator)

7 years agoFixed bug #73793 (WDDX uses wrong decimal seperator)
Christoph M. Becker [Sun, 13 Aug 2017 18:51:53 +0000 (20:51 +0200)]
Fixed bug #73793 (WDDX uses wrong decimal seperator)

The WDDX specification[1] requires to serialize floats with a decimal
point, but `snprintf()` is locale-dependent and may use a decimal
comma. We fix that afterwards by replacing an eventual comma with a
point.

[1] <http://xml.coverpages.org/wddx0090-dtd-19980928.txt>

7 years agoMerge branch 'PHP-7.2'
Christoph M. Becker [Sun, 13 Aug 2017 16:12:37 +0000 (18:12 +0200)]
Merge branch 'PHP-7.2'

* PHP-7.2:
  Skip this test if ext/session is not available

7 years agoMerge branch 'PHP-7.1' into PHP-7.2
Christoph M. Becker [Sun, 13 Aug 2017 16:10:37 +0000 (18:10 +0200)]
Merge branch 'PHP-7.1' into PHP-7.2

* PHP-7.1:
  Skip this test if ext/session is not available

7 years agoMerge branch 'PHP-7.0' into PHP-7.1
Christoph M. Becker [Sun, 13 Aug 2017 16:07:42 +0000 (18:07 +0200)]
Merge branch 'PHP-7.0' into PHP-7.1

* PHP-7.0:
  Skip this test if ext/session is not available

7 years agoSkip this test if ext/session is not available
Christoph M. Becker [Sun, 13 Aug 2017 16:05:45 +0000 (18:05 +0200)]
Skip this test if ext/session is not available

7 years agoMerge branch 'PHP-7.2'
Nikita Popov [Sat, 12 Aug 2017 18:34:59 +0000 (20:34 +0200)]
Merge branch 'PHP-7.2'

7 years agoNote deprecation of $errcontext
Nikita Popov [Sat, 12 Aug 2017 18:34:44 +0000 (20:34 +0200)]
Note deprecation of $errcontext

7 years agoMerge branch 'PHP-7.2'
Nikita Popov [Sat, 12 Aug 2017 11:17:39 +0000 (13:17 +0200)]
Merge branch 'PHP-7.2'

7 years agoMerge branch 'PHP-7.1' into PHP-7.2
Nikita Popov [Sat, 12 Aug 2017 11:17:24 +0000 (13:17 +0200)]
Merge branch 'PHP-7.1' into PHP-7.2

7 years agoMerge branch 'PHP-7.0' into PHP-7.1
Nikita Popov [Sat, 12 Aug 2017 11:15:48 +0000 (13:15 +0200)]
Merge branch 'PHP-7.0' into PHP-7.1

7 years agoFixed bug #74103 and bug #75054
Nikita Popov [Sat, 12 Aug 2017 11:00:39 +0000 (13:00 +0200)]
Fixed bug #74103 and bug #75054

Directly fail unserialization when trying to acquire an r/R
reference to an UNDEF HT slot. Previously this left an UNDEF and
later deleted the index/key from the HT.

What actually caused the issue here is a combination of two
factors: First, the key deletion was performed using the hash API,
rather than the symtable API, such that the element was not actually
removed if it used an integral string key. Second, a subsequent
deletion operation, while collecting trailing UNDEF ranges, would
mark the element as available for reuse (leaving a corrupted HT
state with nNumOfElemnts > nNumUsed).

Fix this by failing early and dropping the deletion code.

7 years agoMerge branch 'PHP-7.2'
Andrea Faulds [Sat, 12 Aug 2017 00:39:27 +0000 (01:39 +0100)]
Merge branch 'PHP-7.2'

7 years agoMerge branch 'PHP-7.1' into PHP-7.2
Andrea Faulds [Sat, 12 Aug 2017 00:38:21 +0000 (01:38 +0100)]
Merge branch 'PHP-7.1' into PHP-7.2