Merge branch 'PHP-7.2' into PHP-7.3

nikic · nikic · commit 2624c9a50575 · 2019-10-07T16:44:31.000+02:00
diff --git a/ext/session/tests/bug78624.phpt b/ext/session/tests/bug78624.phpt
@@ -3,6 +3,7 @@ Test session_set_save_handler() : session_gc() returns the number of deleted rec
 --INI--
 session.name=PHPSESSID
 session.save_handler=files
+session.gc_probability=0
 --SKIPIF--
 <?php include('skipif.inc'); ?>
 --FILE--
