+ if (basename($icon) === $icon) // standard icons does not contain path separator
+ $icon = "$path_to_root/themes/".user_theme()."/images/$icon";
+ return "<img src='$icon' width='12' height='12' border='0'".($title ? " title='$title'" : "")." />\n";