
Just installed 13.0.0.162, and it's still there, so now I'm thinking maybe I've had some sort of bad option configuration all this time. But searching the forums didn't give me any ideas, so I'm reporting it in a new topic.
The problem is simple. I'm editing PHP code, and I normally put a space between the unary not operator ! and its operand. But when I type the space, it gets replaced by !important. So this valid php code:
Code: Select all
if (! $done) continue;
Code: Select all
if (!important $done) continue;

Thanks,
-Rich