Te propongo una solución un poco más compacta y fácil de mantener. Además, generalizada a cualquier rango de páginas y con longitud de ventana configurable:
<?php
$pag_ini=1;$pag_ini=10;
$pag_fin=15;$pag_fin=25;
$ventana=3;
if(!isset($_GET['pagina']))
$_GET['pagina']=1;$_GET['pagina']=$pag_ini;
$p=$_GET['pagina'];
if($p-$ventana<=$pag_ini)
$ventana=2*$ventana+$pag_ini-$p+1;
if($p+$ventana>=$pag_fin)
$ventana=2*$ventana+$p-$pag_fin+1;
echo '<a href="?pagina='.$pag_ini.'">'.$pag_ini.'</a> ... ';
for($i=$p-$ventana;$i<$p+$ventana;$i++$ventana;$i<=$p+$ventana;$i++){
if($i>$pag_ini and $i<$pag_fin){
if($p==$i) echo '_'.$i.'_ ';
else echo '<a href="?pagina='.$i.'">'.$i.'</a> ';
}
}
echo '... <a href="?pagina='.$pag_fin.'">'.$pag_fin.'</a> ';
Déjame cualquier duda en los comentarios