via Wikidata · CC0
Web Developer è un'estensione per Mozilla Firefox e i browser basati su Gecko (Flock, Seamonkey e Iceweasel) che aggiunge al browser una barra degli strumenti con molti strumenti utili agli sviluppatori web. L'estensione è sviluppata da Chris Pederick, autore anche dell'estensione User Agent Switcher. La versione stabile di Web Developer è la versione 1.2.5, distribuita il 29 aprile 2013. Esiste anche Web Developer per Chrome, attualmente alla versione 0.4.3, distribuita il 2 febbraio 2013 . Web Developer ha vinto l'edizione del 2006 della competizione "Extend Firefox" ed è una delle estensioni raccomandate agli sviluppatori da parte di Mozilla. Fra le varie funzionalità, Web Developer consente di visualizzare le dimensioni dei singoli componenti di una pagina web (testo, immagini, script eseguiti localmente), con l'esclusione di video o musica inviati in modalità streaming.
Abstract from DBpedia / Wikipedia · CC BY-SA
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).