magari non sara' solo quello da cambiare, ma stai sicuro che se fai cosi'
$default_menu_type =(window.opera)?"supersucker":"transmenu";
alert($default_menu_type)

con opera l' alert conterra' "supersucker" con tutti gli altri "transmenu"

ciao