It appears dom/browser-element/ was created for Gaia. Is it used for something still? WebExtensions perhaps?
-- Henri Sivonen hsivo...@mozilla.com _______________________________________________ dev-platform mailing list dev-platform@lists.mozilla.org https://lists.mozilla.org/listinfo/dev-platform
