/** * Return the formatted date and time strings for the * "last modified by ... on ..." output in the search results * * @param integer $page_modified_when - unix timestamp * @return array with date and time */ function get_page_modified($page_modified_when) { global $lang; if ($page_modified_when > 0) { $date = CAT_Helper_DateTime::getDate($page_modified_when); $time = CAT_Helper_DateTime::getTime($page_modified_when); } else { $date = $lang->translate('- unknown date -'); $time = $lang->translate('- unknown time -'); } return array($date, $time); }