Add CSRF_TOKEN to micropagination, a=chris

diff --git a/src/views/elements/GroupfeedElement.php b/src/views/elements/GroupfeedElement.php
index eb66aee06..089b420ef 100644
--- a/src/views/elements/GroupfeedElement.php
+++ b/src/views/elements/GroupfeedElement.php
@@ -386,11 +386,13 @@ class GroupfeedElement extends Element implements CrawlConstants
                         $page['NUM_POSTS']));
                     if (!C\MOBILE &&
                         $data['RESULTS_PER_PAGE'] < $page['NUM_POSTS']) {
+                        $delim_token_string = ($token_string) ?
+                            "&$token_string" : "";
                         $thread_query = htmlentities(B\feedsUrl("thread",
                             $page['PARENT_ID'], false, $data['CONTROLLER']));
-                        $this->view->helper("pagination")->render($thread_query,
-                            0, $data['RESULTS_PER_PAGE'], $page['NUM_POSTS'],
-                            true);
+                        $this->view->helper("pagination")->render($thread_query.
+                            $delim_token_string, 0, $data['RESULTS_PER_PAGE'],
+                            $page['NUM_POSTS'], true);
                     }
                     e(", " . tl('groupfeed_element_num_views',
                         $page['NUM_VIEWS']));