Firefox/Projects/Extension Manager API: Difference between revisions