How to inform Chrome devtools that the tab was updated?

Question

Whenever a Chrome tab is updated, I would like to inform devtools about the update. My background.js script looks like this:

var dev