rfc:opcache.no_cache
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revisionNext revisionBoth sides next revision | ||
rfc:opcache.no_cache [2020/05/31 16:31] – tandre | rfc:opcache.no_cache [2020/06/13 14:37] – RFC was declined tandre | ||
---|---|---|---|
Line 3: | Line 3: | ||
* Date: 2020-05-16 | * Date: 2020-05-16 | ||
* Author: Tyson Andre < | * Author: Tyson Andre < | ||
- | * Status: | + | * Status: |
* Implementation: | * Implementation: | ||
* First Published at: https:// | * First Published at: https:// | ||
Line 113: | Line 113: | ||
Voting started on May 30th and ends on June 13th | Voting started on May 30th and ends on June 13th | ||
- | <doodle title=" | + | <doodle title=" |
* Yes | * Yes | ||
* No | * No | ||
Line 127: | Line 127: | ||
- Other | - Other | ||
- | <doodle title=" | + | <doodle title=" |
* 1 | * 1 | ||
* 2 | * 2 | ||
Line 136: | Line 136: | ||
Also, would you be interested in moving opcode optimizations and the JIT out of the zend_extension opcache into PHP's core? | Also, would you be interested in moving opcode optimizations and the JIT out of the zend_extension opcache into PHP's core? | ||
- | <doodle title=" | + | <doodle title=" |
* Yes | * Yes | ||
* No | * No | ||
Line 144: | Line 144: | ||
0.2: Previously, the ini setting override to disable caching was '' | 0.2: Previously, the ini setting override to disable caching was '' | ||
+ | |||
0.3: Fix documentation of changes to '' | 0.3: Fix documentation of changes to '' | ||
+ | |||
0.4: Improve documentation of ini settings, add another example use case. | 0.4: Improve documentation of ini settings, add another example use case. | ||
rfc/opcache.no_cache.txt · Last modified: 2020/06/13 17:45 by tandre