Il passaggio sarà sicuramente così:

Codice PHP:
location.href = 'mensa_elenco.php?id_prenotazione='+id_prenotazione; 
Non so però come prendere il value del button premuto.