On 3 August 2020 20:20:35 BST, Benjamin Eberlei <kont...@beberlei.de> wrote:

>In that case maybe we should rename the attribute to @@DisableJit ?
>This
>would not clutter the global namespace with a "jit" class.

Things with a negative name are usually a code smell. I'm not keen on a 
@[disableJit] attribute name.

cheers,
Derick 

--
PHP Internals - PHP Runtime Development Mailing List
To unsubscribe, visit: https://www.php.net/unsub.php

Reply via email to