Merge "debug: Correct $level PHPDoc param datatype in SyslogHandler.php"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 3 Dec 2018 12:45:28 +0000 (12:45 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 3 Dec 2018 12:45:28 +0000 (12:45 +0000)
commitfd772b6e7ce9995a8725b75abe2ac987aceeb1de
tree86ff107b648200c668e0cc15dee36123f52f38ac
parent0848d0e607d03e988b3dad8465611c75875c003d
parent8872b4ca3b94fca9a748b4ea5ad1670c8ac95003
Merge "debug: Correct $level PHPDoc param datatype in SyslogHandler.php"