Should cachetool handle purging opcache's "file cache"?

[robolmos]

The issue seems to be that cachetool calls "opcache_reset()" but then opcache just reads the file again from the second level cache directory. Same situation when restarting php-fpm.

Should cachetool handle purging opcache's "file cache"?

I can't find any official docs for methods to best do that, so I suppose it's just deleting all the opcache .bin files on the filesystem in the "file_cache" directory.

Related config: opcache.file_cache

[gordalina]

Added in version 5.0.0. Check the changelog