3 ms·

That’s been my experience reporting any kind of bug with the PHP core team. It really is a pain in the neck.