idea di massima...
con la .js che calcola il punteggio fai un redirect verso la pagina che dovrà aggiornare il tuo file
in questo modo
codice:
window.location.href="aggiorna.php?punti="+punti;
aggiorna.php andrà a recuperare la variabile punti e a leggere\aggiornare il file punteggio.txt
Codice PHP:
//recupero della variabile punti
$nuovo_punteggio = $_GET['punti'];
//apertura in sola lettura del file punteggio.txt (partendo dalla prima riga)
$file=fopen("punteggio.txt","r");
//recupero del punteggio memorizzato nel file
$vecchio_punteggio = fgets($file);
//confronto tra punteggi:
if ($nuovo_punteggio > $vecchio_punteggio){
//aggiorno il file con il nuovo punteggio sostituendo il precedente
$file=fopen("punteggio.txt","w+");
@fwrite($file,$nuovo_punteggio);
@fclose($file);
ovviamente andranno fatti i controlli sull'esitenza,percorsi,permessi sul file.