Hi - using PHP Tools for VSCode I used to be able to rename variables within a file by pressing F2, entering a new name, and pressing Return. With one of the recent updates trying to do this now generates the following error in the Output tab:

Request textDocument/rename failed.
Message: Arg_ParamName_Name, newValue

    7 days later

    fixed in the latest prerelease

      Write a Reply...