Merge branch 'PHP-7.2' into PHP-7.3

* PHP-7.2:
  Fix #77911: Wrong warning for session.sid_bits_per_character

diff --cc NEWS
index a3a73eb97d2fdf04cf0f2c7b36f51181ca3f17af,875d6afe3f633c0227ce284a3ea94b7c087e3f7e..333ce42297d2c0c5787cb2e2218ddccc3da0718b
--- 1/NEWS
--- 2/NEWS
+++ b/NEWS
@@@ -1,12 -1,11 +1,15 @@@
  PHP                                                                        NEWS
  |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
 -?? ??? 2019, PHP 7.2.19
 +?? ??? ????, PHP 7.3.6
  
 -02 May 2019, PHP 7.2.18
+ - Session:
+   . Fixed bug #77911 (Wrong warning for session.sid_bits_per_character). (cmb)
+ 
 +02 May 2019, PHP 7.3.5
 +
 +- Core:
 +  . Fixed bug #77903 (ArrayIterator stops iterating after offsetSet call).
 +    (Nikita)
  
  - CLI:
    . Fixed bug #77794 (Incorrect Date header format in built-in server).

diff --cc ext/session/session.c
Simple merge