<?php
+
+ /* $Id$ */
$strings_php = true;
/* Be cautious of "user@host.com" */
function parseAddrs($text) {
if (trim($text) == "")
- return;
+ return array();
$text = str_replace(" ", "", $text);
$text = ereg_replace('"[^"]*"', "", $text);
$text = ereg_replace("\([^\)]*\)", "", $text);