Tony Murray 9320e6cd06 Prevent duplicate plugin table entries (#14120) ...

* Prevent duplicate plugin table entries
Some sort of race condition.
Add a unique index, this will cause the create query to fail when it tries to add a new entry for an existing plugin.

* Add index

2022-07-20 15:25:45 +02:00

..

ExamplePlugin

Fix regression from #12998 (#13385)

2021-10-19 17:20:32 +02:00

Hooks

…

.gitignore

…

Hook.php

…

PluginManager.php

Prevent duplicate plugin table entries (#14120)

2022-07-20 15:25:45 +02:00