devtools

330f1805 - Fix an issue where extensions were not loading with the proper theme when embedded (#8034)