Attempt to use empty <option> element as 'placeholder' followed by 'placeholder' attribute.

Select's placeholders based on empty '&lt;option value=””&gt;placeholder&lt;/a&gt;' convention are now used , but if possible the current default behaviour to use the 'placeholder' attribute is used. This plays nicer with forms generated as per the convention 'placeholder label option': http://dev.w3.org/html5/spec-preview/the-select-element.html. Also modified '.gitignore' to skip WebDAV cache/control files.
Is there any reason that the empty valued option should take precedence over the placeholder attribute? It seems like right now if you want to have an option with the empty string as a value, it is impossible. If the placeholder took precedence, then you could have an empty valued option by setting the placeholder to something else. Could this line be changed to 

    'placeholder' : $input.attr('placeholder') || $input.children('option[value=""]').text(),

without too much trouble?