Merge branch 'PHP-5.6' into PHP-7.0
authorAnatol Belski <ab@php.net>
Tue, 27 Mar 2018 12:19:22 +0000 (14:19 +0200)
committerAnatol Belski <ab@php.net>
Tue, 27 Mar 2018 12:19:22 +0000 (14:19 +0200)
* PHP-5.6:
  Do not set PR_SET_DUMPABLE by default


Trivial merge