Date fields are now using HTML5 date input

issue #5931

This only makes sense when default value is empty

issue #5908

issue #5831

Do not sort last line as it’s just a filling empty line.
Also only add sorting when headers are used as we need to click on them
 for sorting.

issue #5708

Tables from divSelectBox can now be sorted thanks to javascript lib
 tsorter.

issue #5708

There are some left in datepicker.js because of a bug in the sniffer,
 I did not find a way to fix that yet.

issue #5690

Merge this if statement with the nested one

Signed-off-by: Benoit Mortier <benoit.mortier@opensides.be>

Either remove this useless object instantiation of "Effect.Shrink" or use it

Signed-off-by: Benoit Mortier <benoit.mortier@opensides.be>

Reformat the code to have only one statement per line
Remove this unused "$config" local variable

Signed-off-by: Benoit Mortier <benoit.mortier@opensides.be>

This reverts commit be4ed60e.

Replace "==" with "==="
Use a literal instead of the Object constructor.

Signed-off-by: Benoit Mortier <benoit.mortier@opensides.be>

Conflicts:
	html/include/pulldown.js

Conflicts:
	html/include/pulldown.js