An extension is what it was, before Firefox bought it. It's what it still is, on other browsers.