Fix for Phragment ZIP controller

Summary: This applies a minor fix for the Phragment ZIP controller where it would raise missing index errors when attempting to map deleted fragments to file PHIDs (since deleted fragments no longer have files).

Test Plan: Tested this patch on a live server and saw the issue go away.

Reviewers: epriestley, #blessed_reviewers

Reviewed By: epriestley

CC: Korvin, epriestley, aran

Differential Revision: https://secure.phabricator.com/D8243

src/applications/phragment/controller/PhragmentZIPController.php

@@ -85,7 +85,10 @@ final class PhragmentZIPController extends PhragmentController {
     $files = mpull($files, null, 'getPHID');
     foreach ($mappings as $path => $file_phid) {
       if (!isset($files[$file_phid])) {
+        // The path is most likely pointing to a deleted fragment, which
+        // hence no longer has a file associated with it.
         unset($mappings[$path]);
+        continue;
       }
       $mappings[$path] = $files[$file_phid];
     }