devtools

c736de37 - ServiceExtensionManager: avoid switching on runtime type (#9286)