Web Developer mardi 25 février 2014 à 20:59 The Web Developer extension adds various web developer tools to a browser.(Permalink)