commit 5cd759a17b90c6435097da63eb4e54d8280e2437
Merge: cd1e19a3853 b2bb31c7152
Author: Tim Düsterhus <tim@tideways-gmbh.com>
Date: Thu Jan 29 11:59:09 2026 +0100
Merge branch 'PHP-8.5'
* PHP-8.5:
gen_stub: Fix compatibility with php 7.4 (in PHP-8.4) (#21076)