When pagers aren't connected to an ObjectItemListView, put them in a little box

Summary: Pagers in Maniphest (and, to some degree, apps like Pholio) get lost a bit. Put them in a little box.

Test Plan: Looked at Maniphest and Pholio, pager was more obvious and less un-designed-looking.

Reviewers: chad, btrahan

Reviewed By: chad

CC: aran

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

src/applications/search/controller/PhabricatorApplicationSearchController.php

@@ -207,7 +207,14 @@ final class PhabricatorApplicationSearchController
         $list->setNoDataString(pht("No results found for this query."));
         $list->setPager($pager);
       } else {
-        $nav->appendChild($pager);
+        if ($pager->willShowPagingControls()) {
+          $pager_box = id(new PHUIBoxView())
+            ->addPadding(PHUI::PADDING_MEDIUM)
+            ->addMargin(PHUI::MARGIN_LARGE)
+            ->setShadow(true)
+            ->appendChild($pager);
+          $nav->appendChild($pager_box);
+        }
       }
     }