protected function get_cached_file($file, $sandbox)
{
$cachedfile = $this->cachePath . '/' . md5($file) . '.lexy.php';
if (!file_exists($cachedfile)) {
$cachedfile = $this->cache_file($file, $cachedfile, null, $sandbox);
}
if ($cachedfile) {
$mtime = filemtime($file);
if (filemtime($cachedfile) != $mtime) {
$cachedfile = $this->cache_file($file, $cachedfile, $mtime, $sandbox);
}
return $cachedfile;
}
return false;
}