tree a5261395debbfc99ba8def446ced549481a7c530
parent 327ad0f72ea8ef7514418733f8643d46350d9a3f
author apanchenk <apanchenk> 1311361897 +0000
committer apanchenk <apanchenk> 1311361897 +0000

merged from HEAD: skip contributed extension if toolkit instantiation failed, bug 352856