Render deleted files in Phragment as disabled

Summary: This updates Phragment so that fragments that are currently considered deleted have a disabled status and have an additional attribute 'Deleted'.  It also places this effect on versions (in the history controller) that actually involve deleting the file.

Test Plan: Viewed deleted fragments and versions.

Reviewers: epriestley, #blessed_reviewers

Reviewed By: epriestley

CC: Korvin, epriestley, aran

Maniphest Tasks: T4205

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

src/applications/phragment/controller/PhragmentBrowseController.php

@@ -66,6 +66,10 @@ final class PhragmentBrowseController extends PhragmentController {
         $item->addAttribute(pht(
           'Latest Version %s',
           $fragment->getLatestVersion()->getSequence()));
+        if ($fragment->isDeleted()) {
+          $item->setDisabled(true);
+          $item->addAttribute(pht('Deleted'));
+        }
       } else {
         $item->addAttribute('Directory');
       }

src/applications/phragment/controller/PhragmentController.php

@@ -134,9 +134,15 @@ abstract class PhragmentController extends PhabricatorController {
       ->setActionList($actions);
 
     if (!$fragment->isDirectory()) {
-      $properties->addProperty(
-        pht('Type'),
-        pht('File'));
+      if ($fragment->isDeleted()) {
+        $properties->addProperty(
+          pht('Type'),
+          pht('File (Deleted)'));
+      } else {
+        $properties->addProperty(
+          pht('Type'),
+          pht('File'));
+      }
       $properties->addProperty(
         pht('Latest Version'),
         $this->renderHandlesForPHIDs(array($fragment->getLatestVersionPHID())));

src/applications/phragment/controller/PhragmentHistoryController.php

@@ -52,6 +52,11 @@ final class PhragmentHistoryController extends PhragmentController {
         $version->getDateCreated(),
         $viewer));
 
+      if ($version->getFilePHID() === null) {
+        $item->setDisabled(true);
+        $item->addAttribute('Deletion');
+      }
+
       $disabled = !isset($files[$version->getFilePHID()]);
       $action = id(new PHUIListItemView())
         ->setIcon('download')

src/applications/phragment/storage/PhragmentFragment.php

@@ -42,6 +42,10 @@ final class PhragmentFragment extends PhragmentDAO
     return $this->latestVersionPHID === null;
   }
 
+  public function isDeleted() {
+    return $this->getLatestVersion()->getFilePHID() === null;
+  }
+
   public function getLatestVersion() {
     if ($this->latestVersionPHID === null) {
       return null;