Per una questione di accessibilità vorrei modificare la funzione pager.
Quando i contenuti dell'home page o di una categoria diventano numerosi, Drupal li dispone in più pagine inserendo i link alle diverse pagine in fondo alla pagina.
Vorrei che tutti i link fossero separati da un pipe "|", oppure che fossero trasformati in un elenco (da presentare poi in orizzontale).
Ho fatto diversi tentativi sul file pager.inc, ma non ci sono riuscito.

Ho trovato anche una discussione con una patch su drupal.org ma risale al 2004 e che, comunque, non riesco a far funzionare sia su un 4.6 che 5.X:
http://drupal.org/node/12488

Qualcuno può darmi una mano?