From d199560a6bf938156204f4ad537d2184c29096bf Mon Sep 17 00:00:00 2001
From: Chad Little <chad@phacility.com>
Date: Fri, 11 Sep 2015 08:59:56 -0700
Subject: [PATCH] Add a box around the pager in Diffusion

Summary: Fixes T9392, adds some sweet sweet margin to the pager.

Test Plan: See pager with new padding, test different pages, breakpoints.

Reviewers: epriestley

Reviewed By: epriestley

Subscribers: Korvin

Maniphest Tasks: T9392

Differential Revision: https://secure.phabricator.com/D14098
---
 .../diffusion/controller/DiffusionHistoryController.php       | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/applications/diffusion/controller/DiffusionHistoryController.php b/src/applications/diffusion/controller/DiffusionHistoryController.php
index f69dbe2936..65286e9d34 100644
--- a/src/applications/diffusion/controller/DiffusionHistoryController.php
+++ b/src/applications/diffusion/controller/DiffusionHistoryController.php
@@ -79,6 +79,10 @@ final class DiffusionHistoryController extends DiffusionController {
         'view'   => 'history',
       ));
 
+    $pager = id(new PHUIBoxView())
+      ->addClass('ml')
+      ->appendChild($pager);
+
     return $this->buildApplicationPage(
       array(
         $crumbs,