想在输出的json 数据中，同时输出pager 信息:总页数、当前页、总数量、每页数量。增加一个pager对象 ，请问如何生成？

Array(

        [pages] => 9

        [page] => 2

        [count] => 101

        [limit] => 12

     )

=============
研究了一下，没完全搞定
/core/modules/views/src/Plugin/views/pager/PagerPluginBase.php 首次产生pager的数据；
/core/modules/rest/src/Plugin/views/display/RestExport.php输出。
使用了redis 模块有缓存的时候就不再从PagerPluginBase.php 走了。拿不到pager了。
=============