+//FIXME: htmlspecialchars should not be needed inside any template files - I think values are already sanitized by the time they get here
+ echo '<option value="' . $id
+ . ($current_backend == $id ? '" selected="selected"' : '"')
+ . '>' . htmlspecialchars($name) . '</option>' . "\n";