PHP doc-block - Initialize undeclared parameters types with "mixed" instead of "<unknown>" #1570
Description
In many cases, the type isn't that important. Yet, it's better to have a declared PHP type instead of a placeholder, even if it's void.
{{ message }}