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
..
Dispatcher.php	Change @georgehrke's email	2017-11-06 20:38:59 +01:00
Output.php	Update license headers	2017-11-06 16:56:19 +01:00
Request.php	Request->getHeader() should always return a string	2018-01-17 09:51:31 +01:00