Skip to content

[v13] Add HasPluginType to plugins interface.#28052

Merged
mdwn merged 1 commit intobranch/v13from
bot/backport-27903-branch/v13
Jun 20, 2023
Merged

[v13] Add HasPluginType to plugins interface.#28052
mdwn merged 1 commit intobranch/v13from
bot/backport-27903-branch/v13

Conversation

@mdwn
Copy link
Copy Markdown
Contributor

@mdwn mdwn commented Jun 20, 2023

Backport #27903 to branch/v13

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 20, 2023
Merged via the queue into branch/v13 with commit 472ae39 Jun 20, 2023
@mdwn mdwn deleted the bot/backport-27903-branch/v13 branch June 20, 2023 14:03
@r0mant r0mant mentioned this pull request Jul 14, 2023
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.

3 participants