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