Re: [development] What should we do with checkboxes?

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.