Comment by jakub_g

And source code helpfully found by some other commenters:

https://github.com/mozilla/gecko-dev/tree/master/browser/ext...