En PHP .. si dan nombre al campo en cuestión como [] (array) en el script PHP recibirán un array PHP que recorrer sin más javascript por médio:
Siendo:
Código PHP:
<select name="campos[]" multiple size=4>
recibimos
Código PHP:
foreach($_POST['campos'] as $campo){
echo $campo."<br>";
}
Un saludo,