Tengo el siguiente código que es un paginador, quiero que me muestre un numero determinado de paginas. 
Ejemplo: Anterior 1 2 3 4 5 6 7 ... 20 Siguiente  
 Código PHP:
    //Anterior
                   if ($pagina > 1){
                        $paginaAnterior = $pagina - 1;
                       
                        echo ' <a href="propiedades.php?pagina='.$paginaAnterior.'">Anterior</a> ';
                   }
                   //Paginas
                                for($p = 1; $p <= $paginas_totales; $p ++){
                                        if($pagina == $p){
                                                echo ''.$p.'';
                                        } else{
                                        echo ' <a href="propiedades.php?pagina='.$p.'">'.$p.'</a> ';
                                        }
                                }
                        //Siguiente    
                        if ($pagina < $paginas_totales){
                        $paginaSiguiente = $pagina + 1;
                       
                        echo ' <a href="propiedades.php?pagina='.$paginaSiguiente.'">Siguiente</a> ';
                   }