Merge branch 'PHP-7.2' into PHP-7.3

* PHP-7.2:
  ensure pcre.jit=1 for these tests

diff --cc ext/standard/tests/general_functions/ini_get_all.phpt
Simple merge