2017.5 PHP variable copy and paste
When I double click a php variable to highlight it and copy ad paste the '$' part of the variable does not get selected, so the paste creates an error. I had the same problem in the version before 2017 but they fixed it in 2017 and now it's back. Even when clicking and dragging my cursor over a variable name often the '$' does not get selected. Is this a bug?
