4.2.0 returns null $js_static[] = $filename; } function add_js_source($text) { global $js_lib; $search = array_search($text, $js_lib); if ($search === false || $search === null) // php>4.2.0 returns null $js_lib[] = $text; } ?>