Lukas Reschke 6535540dcd Check if the size field is available ... In some cases the 'size' field is not available resulting in some PHP errors such as: ```json {"reqId":"03548fd9e3d3aca15a5796b3b35d7b9d","remoteAddr":"::1","app":"PHP","message":"Undefined index: size at \/Users\/lreschke\/Programming\/core\/lib\/private\/files\/fileinfo.php#125","level":3,"time":"2014-11-17T21:38:57+00:00"} ``` This can be experienced when creating a new empty file and deleting it right away, then when going to the trash bin this error is thrown.		2014-11-17 22:39:40 +01:00
..
cache	don't scan part files	2014-11-07 15:20:51 +01:00
mount	Add type hinting to functions	2014-10-24 14:13:40 +02:00
node	Fix SharedCache::getPathById	2014-08-06 13:38:14 +02:00
objectstore	throw exception in writeBack, the returned boolean is checked nowhere	2014-10-20 11:29:05 +02:00
storage	Fix root path handling for WebDAV ext storage	2014-11-11 15:20:36 +01:00
stream	in quota wrapper use === instead of ! for better readability and as in other wrappers	2014-09-22 11:35:42 +02:00
type	Squash 'a | b' into 'a|b', in /lib	2014-05-13 19:08:14 +01:00
utils	Fix method name	2014-09-10 15:59:24 +02:00
fileinfo.php	Check if the size field is available	2014-11-17 22:39:40 +01:00
filesystem.php	Make it possible to cleanPath() absolute Windows paths	2014-11-17 10:48:15 +01:00
mapper.php	Fix mapping of relative paths	2014-09-17 11:38:10 +02:00
view.php	Remove debug statement	2014-11-12 11:32:48 +01:00