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