Hallo Andavos,
Mit if(in_array("#000000",$menu)) kann ich ja schaun, ob #000000 im Array, also in farben.txt ist. Aber als Antwort bekomme ich immer Flase.
Klar. file() lässt nämlich die Zeilen-Ende-Zeichen mit in der Zeile drin. Wenn Du den Array vorher durch
$menu = array_map ('rtrim', $menu);
jagst, dann sollte es klappen.
Viele Grüße,
Christian