This is done.

As part of the work done by Tobias, there is now a function format_date that will be able to handle such problems.

There are practical reasons that make problematic using format_date here.

# It would be best to have only Month + Day, but php locale
# implementations cant do that, apparently. Feel free to
# improve.
$return .= \'<div class=\"\'.utils_get_alt_row_color($j).\'\"><font class=\"smaller\">  - <a href=\"\'.$base_url.$GLOBALS[\'sys_home\'].\"projects/$row_newproj[unix_group_name]/\\\">\"
. $row_newproj[group_name].\'</a><font class=\"smaller\">, \'.strftime(\'%x\',$row_newproj[\'register_time\']).\'</font></font></div>\';
$j++;

We talk about the boxes on the right of the main page, and having format_date is not an option there, as it creates way too long string.

%x is supposed to be localized. So it should work properly.