devtools

5710fded - Fix failing DevTools integration tests by excluding semantics on some tooltips (#9660)