@ kernel/caching/cache.php: a performance bug fixed