Update files/en-us/mozilla/add-ons/webextensions/api/devtools/panels/…

…index.md
mdn · Jun 17, 2024 · e94fc91 · e94fc91
1 parent 520fea9
commit e94fc91
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/files/en-us/mozilla/add-ons/webextensions/api/devtools/panels/index.md b/files/en-us/mozilla/add-ons/webextensions/api/devtools/panels/index.md
@@ -43,6 +43,10 @@ Like all the `devtools` APIs, this API is only available to code running in the
 - [`devtools.panels.onThemeChanged`](/en-US/docs/Mozilla/Add-ons/WebExtensions/API/devtools/panels/onThemeChanged)
  - : Fired when the devtools theme changes.
 
+## Example extensions
+
+{{WebExtExamples("h2")}}
+
 ## Browser compatibility
 
 {{Compat}}