Returns HTML for a file upload form element.
For assistance with handling the uploaded file correctly, see the API provided by file.inc.
$variables: An associative array containing:
function theme_file($variables) {
$element = $variables['element'];
$element['#attributes']['type'] = 'file';
element_set_attributes($element, array(
'id',
'name',
'size',
));
_form_set_class($element, array(
'form-file',
));
return '<input' . drupal_attributes($element['#attributes']) . ' />';
}