Update docs/source/developers/emitting-events.md

Co-authored-by: Kevin Bates <[email protected]>
Zsailer · Oct 12, 2023 · 489a9e6 · 489a9e6
1 parent 2ff1f9a
commit 489a9e6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/source/developers/emitting-events.md b/docs/source/developers/emitting-events.md
@@ -4,7 +4,7 @@ Jupyter Server comes equipped with an `event_logger` for capturing structured ev
 
 ## Emit a custom event from an extension
 
-The core EventLogger in Jupyter Server's `ServerApp` can be used to emit events from extensions.
+The core `EventLogger` in Jupyter Server's `ServerApp` can be used to emit events from extensions.
 
 First, define an event schema. We recommend that you make the `$id` field
 a valid URI and incorporate the version as part of the URI, e.g.: