Hi internals, I'd like to propose the depreciation of the ticks mechanism: https://wiki.php.net/rfc/deprecate_ticks
I'm submitting this separately from the PHP 8.1 deprecations RFC, as this is a language change, even if not a particularly important one... Regards, Nikita
