Overview
| Comment: | [fx] note about webpage API (user scripts) |
|---|---|
| Downloads: | Tarball | ZIP archive | SQL archive |
| Timelines: | family | ancestors | descendants | both | trunk | fx |
| Files: | files | file ages | folders |
| SHA3-256: |
16d7b2fa91ec296456709853b9a3e8f4 |
| User & Date: | olr on 2020-07-12 05:35:41 |
| Other Links: | manifest | tags |
Context
|
2020-07-16
| ||
| 14:17 | [fr] faux positif check-in: 6aa5238d12 user: olr tags: trunk, fr | |
|
2020-07-12
| ||
| 05:35 | [fx] note about webpage API (user scripts) check-in: 16d7b2fa91 user: olr tags: trunk, fx | |
|
2020-07-11
| ||
| 18:03 | [fr] ajustements check-in: 329469853c user: olr tags: trunk, fr | |
Changes
Modified gc_lang/fr/webext/content_scripts/init.js from [5c993e4d0a] to [1fe55b3bcd].
| ︙ | ︙ | |||
579 580 581 582 583 584 585 |
}
}
catch (e) {
showError(e);
}
});
| | > > > | 579 580 581 582 583 584 585 586 587 588 589 590 591 592 593 594 595 596 |
}
}
catch (e) {
showError(e);
}
});
// The API script must be injected this way to be callable by the page.
// Note: Firefox offers another way to give access to webpage, via “user scripts”
// https://developer.mozilla.org/en-US/docs/Mozilla/Add-ons/WebExtensions/API/userScripts
// (Firefox only feature for now)
let xScriptGrammalecteAPI = document.createElement("script");
xScriptGrammalecteAPI.src = browser.runtime.getURL("content_scripts/api.js");
document.documentElement.appendChild(xScriptGrammalecteAPI);
}
/*
|
| ︙ | ︙ |