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