On 02/12/2015 11:16, Franziskus Kiefer wrote:
> they still use |referrer| as attribute name instead of
> |referrerpolicy|.

I randomly ran into this today while looking at something completely different...

Where was the name changed? There is browser frontend code that still uses the old name:

https://dxr.mozilla.org/mozilla-central/rev/470f4f8c2b2d6f82e56e161a4b05262c85f55b59/browser/base/content/browser.js#5779-5786

and there might be more. Can you file a bug to go over the rename and fix up this and any other cases that were left out?

~ Gijs
_______________________________________________
dev-platform mailing list
dev-platform@lists.mozilla.org
https://lists.mozilla.org/listinfo/dev-platform

Reply via email to