Allow to add custom attributes to a <select> <option> tag

- Another minor point, always use curly braces, even for single line statements.
- I think you need to pass only the "real" childrens through, call it like: form_select_options($element, element_children($choice));

While i think this is an improvement over the first patch (still need to be roled against the project and not against the file alone), I would prefer to see "options" promoted to first class elements in FAPI instead (like checkbox is).

We could combine alot of the shared logic for form processing and display. The only impediment mentioned by Berdir and the only ones i foresee are that options cant be used alone (we could automatically provide a select with just one option in this case if wed like) and that options have OPTGTOUPS for structured arrays. But i think we could handle this fairly easily.

subscribing

dont mess with #options, use an #options_attributes instead.

new patch against head

try again

grrr

final try ;p

again :/

Crosslinking:
#284917: Allow FAPI select, radios, and checkboxes to specify some options as disabled
#342316: Introduce proper Form API #types for 'option' and 'optgroup', and make #options consistent.

Proper architectural discussion and work happens in #342316: Introduce proper Form API #types for 'option' and 'optgroup', and make #options consistent.