Doppelte Einträge im Array löschen

Schnell und einfach können alle doppelten Werte eines Arrays gelöscht werden. Dazu gibt es den Befehl: $neues_array = array_unique ( $altes_array );

<?php $betriebssystem[] = "Windows"; $betriebssystem[] = "Linux"; $betriebssystem[] = "Solaris"; $betriebssystem[] = "Linux"; $betriebssystem[] = "Solaris";   $bs = array_unique ( $betriebssystem );   echo "<pre>"; print_r ( $bs ); ?> 

Anmerkung: Einen kleinen Fallstrick gibt es - es werden keine Einträge gelöscht, die einen unterschiedlichen Typ haben:

<?php $eintrag[] = "9"; $eintrag[] = 9; ?> 

Die erste 9 wird als String angesehen und die zweite als Integer - daher sind beide Einträge trotz array_unique noch erhalten.