Attach Diffusion Pagers to their ObjectBoxView

Summary: Adds the ability to set a pager onto an object box directly and pick up appropriate styles.

Test Plan: grep for renderTablePagerBox, test layouts with and without a pager.

Reviewers: epriestley

Reviewed By: epriestley

Subscribers: Korvin

Maniphest Tasks: T12604

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

src/applications/diffusion/controller/DiffusionLintController.php

@@ -456,7 +456,8 @@ final class DiffusionLintController extends DiffusionController {
     $content[] = id(new PHUIObjectBoxView())
       ->setHeaderText(pht('Lint Details'))
       ->setBackground(PHUIObjectBoxView::BLUE_PROPERTY)
-      ->setTable($table);
+      ->setTable($table)
+      ->setPager($pager);
 
     $crumbs = $this->buildCrumbs(
       array(
@@ -465,7 +466,6 @@ final class DiffusionLintController extends DiffusionController {
         'view'   => 'lint',
       ));
 
-    $pager_box = $this->renderTablePagerBox($pager);
     $header = id(new PHUIHeaderView())
       ->setHeader(pht('Lint: %s', $drequest->getRepository()->getDisplayName()))
       ->setHeaderIcon('fa-code');
@@ -474,7 +474,6 @@ final class DiffusionLintController extends DiffusionController {
       ->setHeader($header)
       ->setFooter(array(
         $content,
-        $pager_box,
       ));
 
     return $this->newPage()