Export destructors from config.json to extension