Skip to content

Add HasPluginType to plugins interface.#27903

Merged
mdwn merged 1 commit intomasterfrom
mike.wilson/has-plugin
Jun 19, 2023
Merged

Add HasPluginType to plugins interface.#27903
mdwn merged 1 commit intomasterfrom
mike.wilson/has-plugin

Conversation

@mdwn
Copy link
Copy Markdown
Contributor

@mdwn mdwn commented Jun 15, 2023

The plugins interface now supports HasPluginType, which returns true if a plugin of the given type has been detected within the backend.

The plugins interface now supports HasPluginType, which returns true if a
plugin of the given type has been detected within the backend.
@mdwn mdwn added this pull request to the merge queue Jun 19, 2023
Merged via the queue into master with commit 6ed1a58 Jun 19, 2023
@mdwn mdwn deleted the mike.wilson/has-plugin branch June 19, 2023 17:04
@public-teleport-github-review-bot
Copy link
Copy Markdown

@mdwn See the table below for backport results.

Branch Result
branch/v13 Create PR

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants