Merge "debug: Correct $level PHPDoc param datatype in SyslogHandler.php"