Where do format mini pagination

I know that the pagination can be formatted with the functions found in includes/pager.inc and that my copying the functions into my template.php and renaming the functions I can effect thier presentation BUT where is the code coming from when you select "mini" pagination in the views?

The code it writes is:

<div class="item-list">
<ul class="pager">
<li class="pager-previous first"></li>
<li class="pager-current">1 of 2</li>
<li class="pager-next last"><a href="/user_list?page=1" class="active">››</a></li>
</ul>

What I want to do is have it so that it writes the code with tags inside the anchors like so:

<div class="item-list">
<ul class="pager">
<li class="pager-previous first"></li>
<li class="pager-current">1 of 2</li>
<li class="pager-next last"><a href="/user_list?page=1" class="active"><span>››</span></a></li>
</ul>

So where is the function that writes the mini pagination so that I can over write it in my template.php?

Thanks.