[php-src] PR #24016: zend_hrtime: remove zend_hrtime_posix_clock_id
| From: | nicolas-grekas | Date: | Wed, 30 Sep 2026 12:47:33 +0000 |
| Subject: | [php-src] PR #24016: zend_hrtime: remove zend_hrtime_posix_clock_id | ||
| Groups: | php.git-pulls | ||
| Request: | Send a blank email to git-pulls+get-38985@lists.php.net to get a copy of this message | ||
Pull Request: https://github.com/php/php-src/pull/24016
Author: nicolas-grekas
Per #23790: nothing reads this variable anymore, it was only kept on PHP-8.6 for ABI compatibility.