This tool named Web Developer is an extension with various web developer tools for your browser. The extension is available for Chrome, Firefox and Opera browsers. This extension runs on any platform that these browsers support including Windows, macOS, and Linux. You can read and download this extension more from the official webpage. Install the extension and you can check many options of your development tool, see the screenshot: