Editor ConfigurationĪn EditorConfig file is included to unify the coding style for different editors. IconsĪny new icons used in the extension should come from these existing icon sets for consistency. The latest versions of Bootstrap from Twitter or jQuery can be automatically merged into the repository using gulp merge-bootstrap or gulp merge-jquery respectively. They should not be altered apart from to update to their latest versions for maintenance reasons. The following libraries are used by and included in the extension as-is: The extension can be installed in Firefox by installing build/web-developer-firefox.xpi like a regular extension. The extension can be installed in Chrome or Opera by loading the unpacked extension in build/chrome or build/opera respectively as described in the Chrome and Opera documentation. When the extension is built it creates build/chrome, build/firefox and build/opera directories as well as packaged versions of the extensions build/web-developer-chrome.zip, build/web-developer-firefox.xpi, build/web-developer-opera.nex. To build the extension for Chrome, Firefox or Opera only run gulp chrome, gulp firefox or gulp opera respectively. Once Gulp is installed the extension is built by running the following: The extension uses the Gulp build system. Extension documentationįor information about how to write browser extensions check out the Chrome, Firefox and Opera documentation: The Web Developer extension is written in JavaScript, HTML and CSS. To report a new issue or suggest a new feature please contact me:

Mastodon: for the Web Developer extension can be found on its home page:.

Or directly from the Chrome, Firefox or Opera extension repositories:įor announcements about the Web Developer extension including news about beta releases and previews of upcoming versions follow:

The extension can be installed from its home page:

The extension is available for Chrome, Firefox and Opera, and will run on any platform that these browsers support including Windows, OS X and Linux. The Web Developer extension adds various web developer tools to a browser.

Firefox web developer tools