release-1.8
Move most inline jslint directives to config files
Fix #11416: Enter key behaviour on Extension Manager Search Box (#12839)
Merge pull request #12671 from ficristo/fix-filter-pencil-pos
added background fade like ins/ovr
Remove unneeded execute permissions
Updated bootstrap to 2.3.1 and less to 1.3.3 (needed for bootstrap)
implement tabs in ExtensionManagerDialog. fix search field interaction.
Added comments based on Randy's feedback.