diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2019-08-27 23:36:23 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-08-27 23:36:23 -0400 |
| commit | ab959253279ac8a07a5fd089aafe7804ae910874 (patch) | |
| tree | 1c42e6a3d550b049194e0ab045dc127d2ef7642e /components/script/dom/htmloptgroupelement.rs | |
| parent | 87f328a9a2a78851a142a1a85f0fde5897637fa3 (diff) | |
| parent | d339d1f30b3bd8e0cc959f6af766029839e1f562 (diff) | |
| download | servo-ab959253279ac8a07a5fd089aafe7804ae910874.tar.gz servo-ab959253279ac8a07a5fd089aafe7804ae910874.zip | |
Auto merge of #24065 - paulrouget:androidAlert, r=jdm
Implement window.alert on Android
Makes it easier to debug our webxr demos.
<!-- Reviewable:start -->
---
This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/servo/24065)
<!-- Reviewable:end -->
Diffstat (limited to 'components/script/dom/htmloptgroupelement.rs')
0 files changed, 0 insertions, 0 deletions