Robin Appelman 07e5b30b90 remove unneeded is_dir from file cache gc 6 years ago
..
CappedMemoryCache.php dc4b983639 support pushing to CappedMemoryCache 7 years ago
File.php 07e5b30b90 remove unneeded is_dir from file cache gc 6 years ago