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