FIXED: Quirk in PHP highlighter
Posted: 20 Feb 2023 19:33
Placing dollar sign as the first and only character on a new line in PHP file yields unexpected result -- it is placed right before opening PHP tag:
Backspace deletes it, and pressing more keys moves it to where it should have gone in the first place.