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 happens if you use the attribute on a function as well as class or e.g. class constant. In other words, when it's not applicable will it be ignored or throw a warning/error? -- Aleksander Machniak Kolab Groupware Developer [https://kolab.org] Roundcube Webmail Developer [https://roundcube.net] ---------------------------------------------------- PGP: 19359DC1 # Blog: https://kolabian.wordpress.com -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: https://www.php.net/unsub.php