mirror of
https://github.com/mozilla/gecko-dev.git
synced 2025-01-15 22:44:13 +00:00
abcff3f136
for the embedding API: add get/set charset (use it in our js)