Bump web-ext from 7.1.0 to 7.2.0

Bumps [web-ext](https://github.com/mozilla/web-ext) from 7.1.0 to 7.2.0.
- [Release notes](https://github.com/mozilla/web-ext/releases)
- [Commits](https://github.com/mozilla/web-ext/compare/7.1.0...7.2.0)

---
updated-dependencies:
- dependency-name: web-ext
  dependency-type: direct:development
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <support@github.com>

package.json

@@ -54,7 +54,7 @@
     "tslint-etc": "^1.13.10",
     "tslint-sonarts": "^1.9.0",
     "typescript": "^3.9.10",
-    "web-ext": "^7.1.0"
+    "web-ext": "^7.2.0"
   },
   "scripts": {
     "build": "sh scripts/build.sh",