Merge branch 'PHP-7.3' into PHP-7.4 * PHP-7.3: Fix #77638: var_export'ing certain class instances segfaults