in pratica, per chi aveva già tutto aggiornato, basta ricaricare questa nuova versione del file pagenavigation.php?
Direi di si, anche se ad occhio non è cambiato nulla.
Tieni presente che tutta la procedura la faccio in automatico tramite script, e lo script non è così furbo da capire cosa è cambiato (magari hanno aggiunto solo un commento o uno spazio).
La procedura migliore e a prova di bomba per aggiornare FAP è scompattare lo zip dell'aggiornamento (quello che prelevi dalla sezione download di questo sito) in una cartella temporanea e riapplicare la core-patch con
patch -p0 < joomla_fap_15_2009-06-05.diff
se non trova dei file puoi ignorare l'errore e saltare la patch.
Fatto questo, aggiorni i file sul server sostituenndo tutti i file patchati.