Felix Becker 571b26a0c3 Use php_uname() instead of PHP_OS (#283)		2017-02-06 16:42:45 +01:00
..
Cache.php	Caching (#260)	2017-02-04 00:20:38 +01:00
ClientCache.php	Caching (#260)	2017-02-04 00:20:38 +01:00
FileSystemCache.php	Use php_uname() instead of PHP_OS (#283)	2017-02-06 16:42:45 +01:00