On 06.08.2020 08:50, Dmitry Stogov wrote:
> My solution:
>
> - remove doc-comment trigger. It doesn't make sense.
> - add @@Jit("off") only. Later we may extend this.
There are pros and cons to the "Jit" attribute name, please consider
@@JitOff (and @@JitOn).
Also make sure to define what happen
My solution:
- remove doc-comment trigger. It doesn't make sense.
- add @@Jit("off") only. Later we may extend this.
On Tue, Aug 4, 2020 at 11:11 AM Benjamin Eberlei
wrote:
> On Mon, Aug 3, 2020 at 7:44 PM Benjamin Eberlei
> wrote:
>
> > Hi,
> >
> > I am going to pick up a discussion from
> >
On Mon, Aug 3, 2020 at 7:44 PM Benjamin Eberlei wrote:
> Hi,
>
> I am going to pick up a discussion from
> https://github.com/php/php-src/pull/5915 about the @@Jit attribute.
>
> Nikita mentioned he is still not 100% clear what the usecase is for @@Jit
> attribute and asked to discuss here.
>
> T
