Phpstan: Getting "Tip of the Day" for "inferPrivatePropertyTypeFromConstructor: true" even when enabled

[mfn]

Bug report

phpstan: 0.11.10

After upgrading today I was greeted with the following:

 [OK] No errors

💡 Tip of the Day:
One or more properties in your code do not have a phpDoc with a type
but it could be inferred from the constructor to find more bugs.
Use inferPrivatePropertyTypeFromConstructor: true in your phpstan.neon to try it out!

Even after enabling it like this from phpstan.neon:

parameters:
  inferPrivatePropertyTypeFromConstructor: true

I still get this message (and btw, nothing changed once I added the parameter, no additional report).

Expected output

Don't give me the tip of the day I already followed.

[mergeable[bot]]

This bug report is missing a link to reproduction on phpstan.org.
It will most likely be closed after manual review.

[ondrejmirtes]

Of course, sorry about that! Fixed: https://github.com/phpstan/phpstan/commit/598e55238330306dee89be9995777c1ba3478b66

Will release promptly as 0.11.11.

[pavarnos]

tip of the day is a cool idea though...