Sander @ December 11, 2024 at 11:27 am #TIL Deleted files can be restored in JetBrains products' Local History feature, such as PHPStorm.