release-1.13
On Windows force a 32 bit build until nodejs 64 bit is supported (#13384)
Zaggino/update extension manager deps (#12933)
Merge remote-tracking branch 'origin/master' into zaggino/disable-default-extensions
better way to handle themes
add a tab with default extensions to extension manager
Move most inline jslint directives to config files
enable and disable default extensions through a preference
Added Extension Sorting capability according to downloads and last published date (#13080)