Alternatively make it @@Jit("off") only and any other argument will lead to
an error for now.Then the problem left becomes "Jit" being a very short global class. On Mon, Aug 3, 2020 at 10:36 PM Benas IML <[email protected]> wrote: > `@@NoJit` sounds pretty alright to me. > > On Mon, Aug 3, 2020, 11:27 PM Derick Rethans <[email protected]> wrote: > >> On 3 August 2020 20:20:35 BST, Benjamin Eberlei <[email protected]> >> 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 >> >>
