Web Developer 1.2.5

di chrispederick

The Web Developer extension adds various web developer tools to the browser.