[Editorial] Match webExtension module name (#825)

w3c · Dec 3, 2024 · 20f1248 · 20f1248
1 parent c089951
commit 20f1248
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/index.bs b/index.bs
@@ -431,7 +431,7 @@ CommandData = (
   ScriptCommand //
   SessionCommand //
   StorageCommand //
-  WebExtensionsCommand
+  WebExtensionCommand
 )
 
 EmptyParams = {
@@ -471,7 +471,7 @@ ResultData = (
   ScriptResult /
   SessionResult /
   StorageResult /
-  WebExtensionsResult
+  WebExtensionResult
 )
 
 EmptyResult = {
@@ -11379,7 +11379,7 @@ managing and interacting with web extensions.
 [=remote end definition=]
 
 <pre class="cddl remote-cddl">
-WebExtensionsCommand = (
+WebExtensionCommand = (
   webExtension.Install //
   webExtension.Uninstall
 )
@@ -11388,7 +11388,7 @@ WebExtensionsCommand = (
 [=local end definition=]
 
 <pre class="cddl local-cddl">
-WebExtensionsResult = (
+WebExtensionResult = (
   webExtension.InstallResult
 )
 </pre>