Correct double datepicker error for chrome (refs #3814)
Merge pull request #763 from thingthing/3.2-I3814

Correct double datepicker error for chrome (closes #3814)
translate FGSEARCH and its help (refs #3743)
Merge pull request #765 from CircleCode/3.2-I3743

translate FGSEARCH and its help (closes #3743)
Merge pull request #764 from Eric-Brison/3.2-I3829

Dynamic Timers (closes #3829, closes #3825, closes #3811)
[refs #3800] add style
Merge pull request #766 from txiki31/3.2-A3800

[fixes #3800] add style for generic search
[refs #3800] placeholder text and input icon
Merge pull request #767 from txiki31/3.2-A3800

[fixes #3800] placeholder text and input icon
correct notice (refs #3410)
correct notice (refs #3410)
update word definition in lexer (refs #3749)
add string word in highlightwords (refs #3749)