Daniel Sentker

A feature request is not necessary since @xabbuh has shown a way to detect a `dump()` call. Just use `php bin/console lint:twig templates --env=prod` in the CLI.

I believe this hasn't been implemented yet because it has too many side effects: - Changing the name of the property could affect other implementations in other classes - If...

I am having the same issue with Exit Code 125: ``` Run php-actions/composer@v6 with: php_version: 7.4 php_extensions: redis intl grpc zip dom curl libxml mbstring zip pcntl pdo sqlite pdo_sqlite...

This has nothing to do with a missing constructor, that was just an example. Just think of an existing constructor as well (or a public property).

That should result in a parse error or sth like InvalidTypedProperty error (naming is hard)

Updated example: https://psalm.dev/r/aabb5297e5?phpVersion=7.3

I found out that the Gnome Extension "Desktop Icons NG (DING)" (shipped with ubuntu) is causing this issue. Disabling it seems to work.  Is there an option add the...

XDG_SESSION_TYPE is wayland. You're right, X11 does not have this problem. I notice a very short "desktop icons flickure" when reactivating an active window, but the issues described are not...

Yes, i would like to create my first PR (ever). I already found the reason for that behaviour: A double-Backslash is sometimes interpreted as `\\`, sometimes as `\`. I created...

I can confirm that emojis are ok, just use the emoji via copy-paste (as mentioned by @MysteriousGear ). If `format: markdown` is used, it is not possible to insert an...