| <!DOCTYPE html> |
| <html> |
| <head> |
| <title>Permissions API: test change event.</title> |
| <script src="../../resources/testharness.js"></script> |
| <script src="../../resources/testharnessreport.js"></script> |
| <script src="../../serviceworker/resources/test-helpers.js"></script> |
| <script src="../resources/helpers.js"></script> |
| <script src="resources/testrunner-helpers.js"></script> |
| </head> |
| <body> |
| <script> |
| var script_element = document.createElement('script'); |
| script_element.src = 'resources/test-change-event.js'; |
| document.body.appendChild(script_element); |
| </script> |
| </body> |
| </html> |