var core__cache_8php =
[
    [ "core_cache", "classcore__cache.html", "classcore__cache" ],
    [ "_drop_core_cache", "core__cache_8php.html#addbd11c656ae83270d2243605e98a371", null ],
    [ "$CoreCache", "core__cache_8php.html#a8a64ec859f3708f249c70fac784a700e", null ]
];