Hallo Mathias,
ich habe testweise die fraglichen Zeilen durch
if(1)
{
allOptions[i].removeAttribute('selected')
}
else
{
allOptions[i].selected = false;
}
ersetzt, removeAttribute() soll also in jedem Fall angewandt werden.
Ergebnis:
Beide Browser tun nix, weder entfernen sie selected, noch melden sie einen Fehler.
Dieter