Fix webide by adding correct file extension to temp files

Melwyn Saldanharequested to merge
fix-webide-file-extensions into dev
  • has a changelog entry

Merge request reports