Skip to content

Comments

Add new web extensions and extension points#670

Open
JammingBen wants to merge 1 commit intomainfrom
docs/new-web-extensions
Open

Add new web extensions and extension points#670
JammingBen wants to merge 1 commit intomainfrom
docs/new-web-extensions

Conversation

@JammingBen
Copy link
Member

Adds docs for the new extension FloatingActionButtonExtension and its extension point (introduced by opencloud-eu/web#1997) as well as a bunch of other extension points (introduced by opencloud-eu/web#2015) to the Web extension system dev docs.

@JammingBen JammingBen self-assigned this Feb 20, 2026
Copilot AI review requested due to automatic review settings February 20, 2026 12:11
Copy link
Contributor

Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

Updates the Web extension system developer documentation to cover newly introduced extension types and extension points, including the new FloatingActionButtonExtension and additional header/sidebar extension point targets.

Changes:

  • Document FloatingActionButtonExtension as a new predefined extension type and describe its behavior/usage.
  • Expand the “Extension Points” section with newly introduced extension point IDs (header left/right, more files sidebar targets, floating action button mount).
  • Add a dedicated extension-type doc page with configuration and an example for floating action button extensions.

Reviewed changes

Copilot reviewed 2 out of 2 changed files in this pull request and generated 3 comments.

File Description
docs/dev/web/extension-system/index.md Adds the new extension type to the list and expands the catalog of supported extension points.
docs/dev/web/extension-system/extension-types/floating-action-button-extensions.md New doc page describing the floating action button extension type, config interface, and example.

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

@JammingBen JammingBen force-pushed the docs/new-web-extensions branch from 9787dc5 to d8bf158 Compare February 20, 2026 12:14
@JammingBen JammingBen force-pushed the docs/new-web-extensions branch from d8bf158 to 21aa8c9 Compare February 20, 2026 12:17
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant