Me l'hanno risolto, vi posto la funzione corretta nel caso vi servisse in futuro:
Codice PHP:
function OrdinePanchinari(){
    
num_option=document.getElementById('listapersonale').options.length
    
panchinari="";

if (
num_option == 0) {//serve per controllare che almeno 1 giocatore sia impostato come primo sostituto
  
alert("Aggiungere almeno un 1° sostituto");
}    
else {
for(
a=0;a<=num_option-1;a++){     //ciclo che concatena le scelte 
            
panchinari=panchinari+document.getElementById('listapersonale').options[a].innerHTML+";" ;
            }    
//chiude il ciclo
            
alert(panchinari);
    }
//chiude l'if
    
//chiude la funzione