4 ms·

This is in the vein of firebug, the original "developer tools" extension, which was built in the same way: https://getfirebug.com/ https://getfirebug.com/