Merge branch 'PHP-7.2' into PHP-7.3

* PHP-7.2:
  fix flaky posix test

diff --cc ext/posix/tests/posix_errno_variation2.phpt
index ff44b70cb6e5a4a606e5cf82c412cf7b9083b1a1,52d076cc63cfb718fd056770a39848a4bafc66f6..6335fa532718274b4a18e1d9eb2bd3d19579fc58
--- 1/ext/posix/tests/posix_errno_variation2.phpt
--- 2/ext/posix/tests/posix_errno_variation2.phpt
+++ b/ext/posix/tests/posix_errno_variation2.phpt
@@@ -10,21 -10,12 +10,12 @@@ Francesco Fullone ff@ideato.i
  ?>
  --FILE--
  <?php
- 
  echo "*** Test by calling function with pid error ***\n";
  
- $pid = 10000;
- 
- do {
-   $pid += 1;
-   $result = shell_exec("ps -p " . $pid);
- } while (strstr($pid, $result));
+ posix_kill((2 ** 22) + 1, SIGKILL);
  
- posix_kill($pid, SIGKILL);
  var_dump(posix_errno());
- 
  ?>
 ---EXPECTF--
 +--EXPECT--
  *** Test by calling function with pid error ***
  int(3)