Firefox:Extension Manager UI: Difference between revisions