If reloading the file doesn't help, I would guess it's caused by mis-parsing of the file rather than updates not triggering. Could you paste a file triggering the issue?

Also, does it happen with all files, or specific ones? all filetypes, or only PHP? Could you try and see if disabling plugins helps?

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or mute the thread.