#TIL Deleted files can be restored in JetBrains products' Local History feature, such as PHPStorm.