[development] What should we do with checkboxes?

[Moshe Weitzman]

> b) we change #value instead to be a list of selected values, like in 
> multiselect. The code change in form.inc for this is minimal:
> 
> if ($form['type'] == 'checkboxes') {
>    $edit = array_keys(array_filter($edit));
> }
> 
> I like this one much better. The only problem is that somewhat it 
> differs from what you get from HTML -- but this is the information you 
> actually need.

I like this much better too. Drupal developers hardly remember how HTML 
works anyway :). I would not mind if we did this for 4.7.