Morris Jobke 4ef302c0be Request->getHeader() should always return a string ... PHPDoc (of the public API) says that this method returns string but it also returns null, which is not allowed in some method calls. This fixes that behaviour and returns an empty string and fixes all code paths that explicitly checked for null to be still compliant. Found while enabling the strict_typing for lib/private for the PHP7+ migration. Signed-off-by: Morris Jobke <hey@morrisjobke.de>		2018-01-17 09:51:31 +01:00
..
AbstractStringCheck.php	Translate the errors	2016-08-01 17:56:33 +02:00
FileMimeType.php	Fix workflow engine mimetype detection when creating a directory	2017-03-23 12:45:36 +01:00
FileSize.php	Request->getHeader() should always return a string	2018-01-17 09:51:31 +01:00
FileSystemTags.php	Also add the root of external storages to the file id list	2017-03-30 23:26:19 +02:00
RequestRemoteAddress.php	Translate the errors	2016-08-01 17:56:33 +02:00
RequestTime.php	Translate the errors	2016-08-01 17:56:33 +02:00
RequestURL.php	Translate the errors	2016-08-01 17:56:33 +02:00
RequestUserAgent.php	Translate the errors	2016-08-01 17:56:33 +02:00
UserGroupMembership.php	Translate the errors	2016-08-01 17:56:33 +02:00