Robin Appelman 695405dfeb add permissions data to the results of the cache api		2012-10-27 10:01:20 +02:00
..
cache.php	add permissions data to the results of the cache api	2012-10-27 10:01:20 +02:00
permissions.php	add file permissions cache	2012-10-26 19:07:29 +02:00
scanner.php	add permissions data to the results of the cache api	2012-10-27 10:01:20 +02:00