devtools

Network: add a banner indicating when we are not logging network requests

#9495

Merged