[Patch] Make v3.18.0 full PHP 7.2 compatible

Top