ci sono diversi modi

uno potrebbe essere:

-creare un array associativo dove si associa nome visualizzato -> link

-scorrere questo array stampando i valori ma ponendo la condizione che, se la pagina nella quale ci troviamo (si può rilevare con $_SERVER['PHP_SELF']) corrisponde a quella della quale stiamo stampando il link, allora stamperemo in grassetto