Kann mir jemand das hier umschreiben?

[Simon]

Hallo, ich habe folgenden teil eines php codes. Da "isset" nicht funktioniert wollte ich wissen ob mir das jemand in "in_array()" umschreiben könnte.

[...]

$s = $_SESSION["schalter"];

if (isset ($css_map[$s])) {
    echo implode("", file ($css_map[$s]) );
} else {
    echo implode("", file ("hell.css"));
}

?>